| changeset 23577 | c5b93c69afd3 |
| parent 23520 | 483fe92f00c1 |
| child 24039 | 273698405054 |
--- a/src/Provers/Arith/fast_lin_arith.ML Thu Jul 05 00:06:13 2007 +0200 +++ b/src/Provers/Arith/fast_lin_arith.ML Thu Jul 05 00:06:14 2007 +0200 @@ -499,7 +499,7 @@ end; fun coeff poly atom = - AList.lookup (op =) poly atom |> the_default (0: integer); + AList.lookup (op aconv) poly atom |> the_default (0: integer); fun lcms ks = fold Integer.lcm ks 1;