From ad09a84c85a4c2ce50bc56774dda16973695840a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 4 Apr 2013 11:32:33 +0200 Subject: [PATCH] Imported Upstream version 0.1 --- clightPrinter.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2