diff options
| author | Robert Norton | 2018-05-18 11:46:08 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-18 11:46:48 +0100 |
| commit | 7548f9b549bbb2b23598d3eb62eca1c3feeeb5cc (patch) | |
| tree | b9ec4184801658bd61a54a069caaab18e840b8a6 | |
| parent | 875c258194789bf062d68be91dbd6e681fc77c9d (diff) | |
use correct inequality for strings.
| -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 |