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/Print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Print.ml')

diff --git a/src/Print.ml b/src/Print.ml
index 98876acb..841fa9b2 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -1198,7 +1198,7 @@ module Module = struct
     String.concat "\n\n" all_defs
 end
 
-(** Pretty-printing for CFIM ASTs (functions based on an evaluation context) *)
+(** Pretty-printing for LLBC ASTs (functions based on an evaluation context) *)
 module EvalCtxLlbcAst = struct
   let ety_to_string (ctx : C.eval_ctx) (t : T.ety) : string =
     let fmt = PC.eval_ctx_to_ctx_formatter ctx in
-- 
cgit v1.2.3