src/HOL/Tools/Function/fun.ML

--- a/src/HOL/Tools/Function/fun.ML	Fri Oct 23 16:37:56 2009 +0200
+++ b/src/HOL/Tools/Function/fun.ML	Sat Oct 24 20:47:10 2009 +0200
@@ -148,7 +148,7 @@
 
 
 val fun_config = FunctionConfig { sequential=true, default="%x. undefined" (*FIXME dynamic scoping*), 
-                                domintros=false, tailrec=false }
+  domintros=false, partials=false, tailrec=false }
 
 fun gen_fun add config fixes statements int lthy =
   let val group = serial_string () in