changeset 17521 | 0f1c48de39f5 |
parent 17427 | 3c45d890d47c |
child 19233 | 77ca20b0ed77 |
--- a/src/HOL/Tools/Presburger/reflected_cooper.ML Tue Sep 20 15:12:40 2005 +0200 +++ b/src/HOL/Tools/Presburger/reflected_cooper.ML Tue Sep 20 16:17:34 2005 +0200 @@ -10,7 +10,7 @@ fun i_of_term vs t = case t of - Free(xn,xT) => (case assoc(vs,t) of + Free(xn,xT) => (case AList.lookup (op =) vs t of NONE => error "Variable not found in the list!!" | SOME n => Var n) | Const("0",iT) => Cst 0