Changeset 3001 for extracted/fresh.ml


Ignore:
Timestamp:
Mar 28, 2013, 1:02:48 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/fresh.ml

    r2773 r3001  
    108108(** val max_id_of_program : Csyntax.clight_program -> AST.ident **)
    109109let max_id_of_program p =
    110   max_id (max_id (max_id_of_functs p.AST.prog_funct) p.AST.prog_main)
    111     (max_id_of_globvars p.AST.prog_vars)
     110  max_id (max_id (max_id_of_functs (AST.prog_funct p)) (AST.prog_main p))
     111    (max_id_of_globvars (AST.prog_vars p))
    112112
    113113(** val universe_of_max : AST.ident -> Identifiers.universe **)
Note: See TracChangeset for help on using the changeset viewer.