Changeset 2648
- Timestamp:
- Feb 7, 2013, 10:43:39 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/clightFromC.ml
r2620 r2648 124 124 throughout definitions, we'll use an imperative generator here. *) 125 125 126 let idGenerator = ref (Extracted.Identifiers.new_universe symbolTag)126 let idGenerator = ref (Extracted.Identifiers.new_universe Extracted.PreIdentifiers.SymbolTag) 127 127 let idTable = Hashtbl.create 47 128 128 let make_id s = … … 130 130 Hashtbl.find idTable s 131 131 with Not_found -> 132 let { Extracted.Types.fst = id; Extracted.Types.snd = g} = Extracted.Identifiers.fresh symbolTag !idGenerator in132 let { Extracted.Types.fst = id; Extracted.Types.snd = g} = Extracted.Identifiers.fresh Extracted.PreIdentifiers.SymbolTag !idGenerator in 133 133 idGenerator := g; 134 134 Hashtbl.add idTable s id; … … 857 857 let convertProgram (p:C.program) : clight_program option = 858 858 numErrors := 0; 859 idGenerator := Extracted.Identifiers.new_universe symbolTag;859 idGenerator := Extracted.Identifiers.new_universe Extracted.PreIdentifiers.SymbolTag; 860 860 stringNum := 0; 861 861 Hashtbl.clear decl_atom;
Note: See TracChangeset
for help on using the changeset viewer.