src/HOL/Word/Tools/smt_word.ML

--- a/src/HOL/Word/Tools/smt_word.ML	Tue Dec 07 21:58:36 2010 +0100
+++ b/src/HOL/Word/Tools/smt_word.ML	Wed Dec 08 08:33:02 2010 +0100
@@ -139,7 +139,8 @@
 (* setup *)
 
 val setup = 
-  Context.theory_map (SMTLIB_Interface.add_logic (20, smtlib_logic)) #>
-  setup_builtins
+  Context.theory_map (
+    SMTLIB_Interface.add_logic (20, smtlib_logic) #>
+    setup_builtins)
 
 end