diff options
author | Son Ho | 2022-04-26 18:03:03 +0200 |
---|---|---|
committer | Son Ho | 2022-04-26 18:03:03 +0200 |
commit | 732e3305cba3a628d9408a048978151e4ef2fcc2 (patch) | |
tree | eb2fa77c7aeaccae62bac4e3dc0b0610148844f9 /src/Print.ml | |
parent | be53607433804d78f0e42d42f8cb1ecdeea087b3 (diff) |
Introduce the App expression, and make progress updating the code
Diffstat (limited to 'src/Print.ml')
-rw-r--r-- | src/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |