1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy	Thu Jun 12 20:31:13 2014 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy	Thu Jun 12 21:59:15 2014 +0200
     1.3 @@ -159,7 +159,7 @@
     1.4            "            (Repeat(Try (Rewrite_Set LinPoly_simplify     False)))) e_e " ^
     1.5            " in ((Or_to_List e_e)::bool list))")]
     1.6  *}
     1.7 -ML {* get_met ["LinEq","solve_lineq_equation"]; *}
     1.8 +ML {* get_met' @{theory} ["LinEq","solve_lineq_equation"]; *}
     1.9  
    1.10  end
    1.11