diff options
Diffstat (limited to 'printing/ppconstr.ml')
| -rw-r--r-- | printing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 25ea991e7..ebda3cb76 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -321,7 +321,7 @@ let split_product na' = function | _ -> anomaly "ill-formed fixpoint body" let rec split_fix n typ def = - if n = 0 then ([],typ,def) + if Int.equal n 0 then ([],typ,def) else let (na,_,def) = split_lambda def in let (na,t,typ) = split_product na typ in |