From: Enrico Tassi <gares@fettunta.org>
Date: Thu, 4 Apr 2013 09:32:33 +0000 (+0200)
Subject: Imported Upstream version 0.1
X-Git-Tag: upstream/0.1~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ad09a84c85a4c2ce50bc56774dda16973695840a;p=pkg-cerco%2Facc-trusted.git

Imported Upstream version 0.1
---

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