diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/main.ml b/lib/main.ml index 7dfe11fa..4dcec302 100644 --- a/lib/main.ml +++ b/lib/main.ml @@ -78,7 +78,7 @@ let () = | f :: _ -> load_elf f | _ -> () end; - if !opt_raw_fname != "" then + if !opt_raw_fname <> "" then begin let ic = open_in_bin !opt_raw_fname in try |