diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/syntax/type_of.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/syntax/type_of.ml b/lib/syntax/type_of.ml index b2776fc..4344a11 100644 --- a/lib/syntax/type_of.ml +++ b/lib/syntax/type_of.ml @@ -465,7 +465,7 @@ module Instruction = struct [ op1; op2 ] [] with | [] -> - Helper.compare_args ~strict:true ~level:Report.Debug pos expected + Helper.compare_args ~strict:true ~level:Report.Warn pos expected [ op1; op2 ] report | reports -> reports @ report) end |