diff options
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 8fa7acc78..4e5f4766d 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -143,7 +143,7 @@ let main () = Optcompile.init_path(); Asmlibrarian.create_archive (List.rev !objfiles) !archive_name end - else if not !compile_only & !objfiles <> [] then begin + else if not !compile_only && !objfiles <> [] then begin Optcompile.init_path(); Asmlink.link (List.rev !objfiles) end; |