mirror of
https://github.com/mikpe/pdp10-tools.git
synced 2026-01-23 19:08:00 +00:00
nm: fix dialyzer error
This commit is contained in:
parent
98312be54b
commit
8d09e668eb
@ -1,7 +1,7 @@
|
||||
%%% -*- erlang-indent-level: 2 -*-
|
||||
%%%
|
||||
%%% 'nm' clone for pdp10-elf
|
||||
%%% Copyright (C) 2013-2019 Mikael Pettersson
|
||||
%%% Copyright (C) 2013-2020 Mikael Pettersson
|
||||
%%%
|
||||
%%% This file is part of pdp10-tools.
|
||||
%%%
|
||||
@ -42,6 +42,7 @@
|
||||
main(Argv) ->
|
||||
escript_runtime:start(fun main_/1, Argv).
|
||||
|
||||
-spec main_([string()]) -> no_return().
|
||||
main_(Argv) ->
|
||||
%% NYI options:
|
||||
%% -a / --debug-syms
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user