src/Provers/Arith/fast_lin_arith.ML

--- a/src/Provers/Arith/fast_lin_arith.ML	Tue Mar 20 21:37:31 2012 +0100
+++ b/src/Provers/Arith/fast_lin_arith.ML	Wed Mar 21 11:00:34 2012 +0100
@@ -384,7 +384,7 @@
 fun extract_first p =
   let
     fun extract xs (y::ys) = if p y then (y, xs @ ys) else extract (y::xs) ys
-      | extract xs [] = raise Empty
+      | extract xs [] = raise List.Empty
   in extract [] end;
 
 fun print_ineqs ctxt ineqs =