diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml index 4d5f63e5d9..90f42d8ced 100644 --- a/driver/compenv.ml +++ b/driver/compenv.ml @@ -661,7 +661,7 @@ let process_deferred_actions env = if List.length (List.filter (function | ProcessImplementation _ - | ProcessInterface _ + | ProcessInterface _ -> true | _ -> false) !deferred_actions) > 1 then fatal "Options -c -o are incompatible with compiling multiple files" end; |