From 107ef2db28b7abc75afe32350e7c2eb3c8ddbe82 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Fri, 19 May 2017 13:24:16 +0200
Subject: refl_omega: some code refactoring

---
 plugins/omega/omega.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/omega')

diff --git a/plugins/omega/omega.ml b/plugins/omega/omega.ml
index f655c176f..2a018fa3f 100644
--- a/plugins/omega/omega.ml
+++ b/plugins/omega/omega.ml
@@ -96,7 +96,7 @@ type afine = {
 
 type state_action = {
   st_new_eq : afine;
-  st_def    : afine;
+  st_def    : afine; (* /!\ this represents [st_def = st_var] *)
   st_orig   : afine;
   st_coef   : bigint;
   st_var    : int }
-- 
cgit v1.2.3