Merge tag 'upstream/0.1'

[pkg-cerco/acc-trusted.git] / clightPrinter.mli

diff --git a/clightPrinter.mli b/clightPrinter.mli
index b765c25be9fee64acf111e5aafc51b735759d1e4..7ce69607b282f84ee72e8abef74e0c0e54414cdd 100644 (file)
--- a/clightPrinter.mli
+++ b/clightPrinter.mli
@@ -3,8 +3,8 @@
 
 type cost_style =
 | Cost_plain
-| Cost_numbered of Extracted.Label.clight_cost_map * Extracted.Joint.stack_cost_model
-| Cost_instrumented of Extracted.Label.clight_cost_map * Extracted.Joint.stack_cost_model
+| Cost_numbered of Extracted.Label.clight_cost_map * Extracted.CostLabel.costlabel * Extracted.Joint.stack_cost_model * Extracted.Nat.nat
+| Cost_instrumented of Extracted.Label.clight_cost_map * Extracted.CostLabel.costlabel * Extracted.Joint.stack_cost_model * Extracted.Nat.nat
 
 val print_program: cost_style -> Extracted.Csyntax.clight_program -> string