From 512b1ff5747f6c805e72d6847f4a6a10bffade7f Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:26:14 +0200
Subject: Update src/SymbolicAst.ml

---
 src/SymbolicAst.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml
index fd490e43..ec2a80ca 100644
--- a/src/SymbolicAst.ml
+++ b/src/SymbolicAst.ml
@@ -66,7 +66,7 @@ type expression =
   | FunCall of call * expression
   | EndAbstraction of V.abs * expression
   | EvalGlobal of A.GlobalDeclId.id * V.symbolic_value * expression
-      (** A fresh symbolic value for the global *)
+      (** Evaluate a global to a fresh symbolic value *)
   | Expansion of mplace option * V.symbolic_value * expansion
       (** Expansion of a symbolic value.
     
-- 
cgit v1.2.3