1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Nov 21 12:32:54 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Nov 28 11:46:00 2018 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4  
     1.5  text \<open>method solving the usecase\<close>
     1.6  setup \<open>KEStore_Elems.add_mets
     1.7 -  [Specify.prep_met thy "met_test_diophant" [] Celem.e_metID
     1.8 +    [Specify.prep_met thy "met_test_diophant" [] Celem.e_metID
     1.9        (["Test","solve_diophant"],
    1.10          [("#Given" ,["boolTestGiven e_e","intTestGiven (v_v::int)"]),
    1.11            (*                                      TODO: drop ^^^^^*)