src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Sep 18 00:02:45 2014 +0200
+++ b/src/HOL/ROOT	Thu Sep 18 00:03:46 2014 +0200
@@ -800,11 +800,11 @@
   theories [condition = ISABELLE_FULL_TEST]
     SMT_Tests
   files
-    "Boogie_Dijkstra.certs2"
-    "Boogie_Max.certs2"
-    "SMT_Examples.certs2"
-    "SMT_Word_Examples.certs2"
-    "VCC_Max.certs2"
+    "Boogie_Dijkstra.certs"
+    "Boogie_Max.certs"
+    "SMT_Examples.certs"
+    "SMT_Word_Examples.certs"
+    "VCC_Max.certs"
 
 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
   options [document = false]