X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=clightPrinter.mli;h=7ce69607b282f84ee72e8abef74e0c0e54414cdd;hb=0d48a8f9da55abd1a7025daef1f8e45e8ed6a078;hp=b765c25be9fee64acf111e5aafc51b735759d1e4;hpb=69b6010f0016bba47bc7e74ad8e1f3fa473f259f;p=pkg-cerco%2Facc-trusted.git

diff --git a/clightPrinter.mli b/clightPrinter.mli
index b765c25..7ce6960 100644
--- 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