--- a/src/HOL/Word/Word.thy Thu Aug 28 00:40:38 2014 +0200
+++ b/src/HOL/Word/Word.thy Thu Aug 28 00:40:38 2014 +0200
@@ -4753,7 +4753,7 @@
declare bin_to_bl_def [simp]
ML_file "Tools/word_lib.ML"
-ML_file "Tools/smt2_word.ML"
+ML_file "Tools/smt_word.ML"
hide_const (open) Word