From 809ed52ef63f0d6b83b8c35404dc5b2b13230998 Mon Sep 17 00:00:00 2001 From: David Hauzar Date: Wed, 9 Dec 2015 16:06:46 +0100 Subject: [PATCH] Minor update of a comment. --- src/transform/intro_vc_vars_counterexmp.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/transform/intro_vc_vars_counterexmp.ml b/src/transform/intro_vc_vars_counterexmp.ml index e94d5cce0..8ebf80549 100644 --- a/src/transform/intro_vc_vars_counterexmp.ml +++ b/src/transform/intro_vc_vars_counterexmp.ml @@ -84,8 +84,7 @@ let model_trace_for_postcondition ~labels = (* Modifies the model_trace label of a term in the postcondition: - if term corresponds to the initial value of a function parameter, model_trace label will have postfix @old - - if term corresponds to the return value of a function, add - model_trace label in a form function_name@result + Returns labels with model_trace label modified if there exist model_trace label in labels, labels otherwise. *) -- GitLab