1.1 --- a/test/Tools/isac/Knowledge/diophanteq.sml	Tue May 19 12:33:35 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diophanteq.sml	Wed May 20 12:52:09 2020 +0200
     1.3 @@ -84,7 +84,7 @@
     1.4  val p = e_pos'; val c = [];
     1.5  val (fmz, (thy, pbl, met)) = 
     1.6    (["intTestGiven (xxx + abc + -1 * 111 + (123::int))", "intTestFind sss"],
     1.7 -   (Context.theory_name thy, ["inttype","test"], ["Test","intsimp"]));
     1.8 +   (Context.theory_name thy, ["inttype", "test"], ["Test", "intsimp"]));
     1.9  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (thy, pbl, met))];
    1.10  (*nxt = ("Model_Problem", ...)*)
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt;