--- a/src/Tools/adhoc_overloading.ML Thu Mar 06 13:44:01 2014 +0100
+++ b/src/Tools/adhoc_overloading.ML Thu Mar 06 14:38:54 2014 +0100
@@ -221,7 +221,7 @@
fun adhoc_overloading_cmd add raw_args lthy =
let
fun const_name ctxt =
- fst o dest_Const o Proof_Context.read_const ctxt {proper = false, strict = false} dummyT;
+ fst o dest_Const o Proof_Context.read_const ctxt {proper = false, strict = false};
fun read_term ctxt = singleton (Variable.polymorphic ctxt) o Syntax.read_term ctxt;
val args =
raw_args