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