Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (10 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightPrinter.mli

    r486 r818  
    44val print_program: Clight.program -> string
    55
    6 val print_expression : Clight.expr -> string
     6val print_expression: Clight.expr -> string
    77
    88val string_of_ctype: Clight.ctype -> string
    99
    1010val print_statement: Clight.statement -> string
     11
     12val print_ctype_prot: Clight.ctype -> string
     13
     14val print_ctype_def: Clight.ctype -> string
Note: See TracChangeset for help on using the changeset viewer.