diff -r faf233c4a404 -r 55fea563fbee src/HOL/Matrix/Compute_Oracle/am_ghc.ML
--- a/src/HOL/Matrix/Compute_Oracle/am_ghc.ML	Fri Feb 10 23:06:21 2012 +0100
+++ b/src/HOL/Matrix/Compute_Oracle/am_ghc.ML	Fri Feb 10 23:12:57 2012 +0100
@@ -216,7 +216,7 @@
     
 fun fileExists name = ((OS.FileSys.fileSize name; true) handle OS.SysErr _ => false)
 
-fun compile _ _ eqs = 
+fun compile eqs = 
     let
         val _ = if exists (fn (a,_,_) => not (null a)) eqs then raise Compile ("cannot deal with guards") else ()
         val eqs = map (fn (_,b,c) => (b,c)) eqs