src/Tools/nbe.ML
changeset 58397 1c036d6216d3
parent 57435 312660c1a70a
child 59058 a78612c67ec0
     1.1 --- a/src/Tools/nbe.ML	Fri Sep 19 14:24:03 2014 +0200
     1.2 +++ b/src/Tools/nbe.ML	Thu Sep 18 18:48:04 2014 +0200
     1.3 @@ -416,7 +416,7 @@
     1.4  
     1.5  fun dummy_const sym dss =
     1.6    IConst { sym = sym, typargs = [], dicts = dss,
     1.7 -    dom = [], range = ITyVar "", annotate = false };
     1.8 +    dom = [], annotation = NONE };
     1.9  
    1.10  fun eqns_of_stmt (_, Code_Thingol.NoStmt) =
    1.11        []