Changeset 2758 for driver/clightFromC.ml


Ignore:
Timestamp:
Mar 1, 2013, 7:55:27 PM (7 years ago)
Author:
campbell
Message:

Adapt prototype's Clight printer.
Doesn't use cost map yet.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightFromC.ml

    r2648 r2758  
    126126let idGenerator = ref (Extracted.Identifiers.new_universe Extracted.PreIdentifiers.SymbolTag)
    127127let idTable = Hashtbl.create 47
     128let symTable = Hashtbl.create 47
    128129let make_id s =
    129130  try
     
    133134    idGenerator := g;
    134135    Hashtbl.add idTable s id;
     136    Hashtbl.add symTable id s;
    135137    id
    136138
Note: See TracChangeset for help on using the changeset viewer.