Merge tag 'upstream/0.2'

[pkg-cerco/acc-trusted.git] / extracted / abstractStatus.mli

diff --git a/extracted/abstractStatus.mli b/extracted/abstractStatus.mli
index fe82c6af2d78a4d471d8d1c71e7c3a85698c5a01..118b5cb0accae30623be64f5a53286268d17e66f 100644 (file)
--- a/extracted/abstractStatus.mli
+++ b/extracted/abstractStatus.mli
@@ -112,18 +112,13 @@ val aSM_classify00 : 'a1 ASM.preinstruction -> StructuredTraces.status_class
 
 val aSM_classify0 : ASM.instruction -> StructuredTraces.status_class
 
-val current_instruction0 :
-  BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word ->
-  ASM.instruction
-
 val current_instruction :
   BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
   ASM.instruction
 
 val current_instruction_label :
-  BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
-  BitVectorTrie.bitVectorTrie -> Status.status -> CostLabel.costlabel
-  Types.option
+  BitVector.byte BitVectorTrie.bitVectorTrie -> ASM.costlabel_map ->
+  Status.status -> CostLabel.costlabel Types.option
 
 val word_deqset : Deqsets.deqSet