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/clightPrinter.ml

    r2759 r2773  
    7676  | Oshr -> ">>"
    7777  | Oeq  -> "=="
    78   | One0  -> "!="
     78  | One  -> "!="
    7979  | Olt  -> "<"
    8080  | Ogt  -> ">"
     
    176176      begin match op with
    177177      | Oand | Oor | Oxor -> 75
    178       | Oeq | One0 | Olt | Ogt | Ole | Oge -> 70
     178      | Oeq | One | Olt | Ogt | Ole | Oge -> 70
    179179      | Oadd | Osub | Oshl | Oshr -> 60
    180180      | Omul | Odiv | Omod -> 40
Note: See TracChangeset for help on using the changeset viewer.