diff options
Diffstat (limited to 'pretyping/redops.ml')
| -rw-r--r-- | pretyping/redops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/redops.ml b/pretyping/redops.ml index 46f668476..1713a371e 100644 --- a/pretyping/redops.ml +++ b/pretyping/redops.ml @@ -20,7 +20,7 @@ let make_red_flag l = "Cannot set both constants to unfold and constants not to unfold"; add_flag { red with rConst = Util.List.union red.rConst l } lf | FDeltaBut l :: lf -> - if red.rConst <> [] & not red.rDelta then + if red.rConst <> [] && not red.rDelta then Errors.error "Cannot set both constants to unfold and constants not to unfold"; add_flag |