Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 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
  • extracted/initialisation.ml

    r2717 r2773  
    11open Preamble
    2 
    3 open BitVectorTrie
    42
    53open CostLabel
     
    151149   | Types.Some x ->
    152150     (fun _ ->
    153        (let { Types.dpi1 = t; Types.dpi2 = e0 } = x in
     151       (let { Types.dpi1 = t; Types.dpi2 = e } = x in
    154152       (fun _ -> Cminor_syntax.St_store (t, (Cminor_syntax.Cst (AST.ASTptr,
    155        (FrontEndOps.Oaddrsymbol (id, off)))), e0))) __)) __
     153       (FrontEndOps.Oaddrsymbol (id, off)))), e))) __)) __
    156154
    157155(** val init_var :
Note: See TracChangeset for help on using the changeset viewer.