diff -r a2b0b338d966 -r 99c8d2ff63eb test/Tools/isac/Knowledge/diophanteq.sml
--- a/test/Tools/isac/Knowledge/diophanteq.sml	Mon Aug 26 09:20:07 2019 +0200
+++ b/test/Tools/isac/Knowledge/diophanteq.sml	Mon Aug 26 17:40:27 2019 +0200
@@ -18,7 +18,7 @@
 (*there seemed to be no way to do these tests within DiophantEq.thy:
 val thy = @{theory};(**** ME_Isa: thy 'DiophantEq' not in system
   from CalcTreeTest*)
-(*val thy = @{theory "Isac"};toplevel error from store_met?!?*)
+(*val thy = @{theory "Isac_Knowledge"};toplevel error from store_met?!?*)
 *)
 val thy = @{theory "DiophantEq"};
 val ctxt = Proof_Context.init_global thy;