diff options
Diffstat (limited to 'plugins/nsatz')
| -rw-r--r-- | plugins/nsatz/ideal.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/nsatz/ideal.ml b/plugins/nsatz/ideal.ml index e0b27a2f5..94b79503a 100644 --- a/plugins/nsatz/ideal.ml +++ b/plugins/nsatz/ideal.ml @@ -214,7 +214,7 @@ let ppcm_mon m m' = let repr p = p let equal = - Util.list_for_all2eq + Util.List.for_all2eq (fun (c1,m1) (c2,m2) -> P.equal c1 c2 && m1=m2) let hash p = |