Changeset 2773 for driver/clightFromC.ml


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightFromC.ml

    r2758 r2773  
    388388        | C.Oshr -> Oshr
    389389        | C.Oeq  -> Oeq
    390         | C.One  -> One0
     390        | C.One  -> One
    391391        | C.Olt  -> Olt
    392392        | C.Ogt  -> Ogt
Note: See TracChangeset for help on using the changeset viewer.