diff -r 0a08878f8b37 -r 689a3eeb6f9e src/HOL/ROOT
--- a/src/HOL/ROOT	Thu May 01 22:57:36 2014 +0200
+++ b/src/HOL/ROOT	Thu May 01 22:57:38 2014 +0200
@@ -775,12 +775,12 @@
   theories [condition = ISABELLE_FULL_TEST]
     SMT_Tests
   files
-    "Boogie_Dijkstra.certs"
-    "Boogie_Max.certs"
+    "Boogie_Dijkstra.certs2"
+    "Boogie_Max.certs2"
     "SMT_Examples.certs"
     "SMT_Examples.certs2"
     "SMT_Word_Examples.certs2"
-    "VCC_Max.certs"
+    "VCC_Max.certs2"
 
 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
   options [document = false]