From 732e3305cba3a628d9408a048978151e4ef2fcc2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 26 Apr 2022 18:03:03 +0200
Subject: Introduce the App expression, and make progress updating the code

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

(limited to 'src/SymbolicAst.ml')

diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml
index 5fa7d754..9cab092d 100644
--- a/src/SymbolicAst.ml
+++ b/src/SymbolicAst.ml
@@ -53,7 +53,7 @@ type meta =
       (** We generated an assignment (destination, assigned value, src) *)
 
 (** **Rk.:** here, [expression] is not at all equivalent to the expressions
-    used in CFIM: they are a first step towards lambda-calculus expressions.
+    used in LLBC: they are a first step towards lambda-calculus expressions.
  *)
 type expression =
   | Return of V.typed_value option
-- 
cgit v1.2.3