Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret.ml

    r2601 r2649  
    2727open BitVectorTrie
    2828
     29open String
     30
    2931open LabelledObjects
    3032
    31 open Coqlib
    32 
    33 open Floats
    34 
    3533open Arithmetic
    3634
     
    4543open PositiveMap
    4644
     45open ErrorMessages
     46
    4747open PreIdentifiers
    4848
     
    6262
    6363open Identifiers
    64 
    65 open Char
    66 
    67 open String
    6864
    6965open Extranat
     
    42624258      Status.set_arg_16 cm s1
    42634259        (Status.get_arg_16 cm s1 (ASM.DATA16
    4264           (Identifiers.lookup_def ASM.aSMTag data_labels ident0
     4260          (Identifiers.lookup_def PreIdentifiers.ASMTag data_labels ident0
    42654261            (BitVector.zero (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    42664262              (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
Note: See TracChangeset for help on using the changeset viewer.