1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4      (Try (Calculate ''PLUS'')) #>
     1.5      (Try (Calculate ''TIMES''))) e_e)"
     1.6  setup \<open>KEStore_Elems.add_mets
     1.7 -    [Method.prep_input thy "met_test_diophant" [] Method.id_empty
     1.8 +    [MethodC.prep_input thy "met_test_diophant" [] MethodC.id_empty
     1.9        (["Test", "solve_diophant"],
    1.10          [("#Given" ,["boolTestGiven e_e", "intTestGiven (v_v::int)"]),
    1.11            (*                                      TODO: drop ^^^^^*)