From 1e5103b896d5e843e8c40ec600c0215673c79275 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:40:47 +0200
Subject: Update the README and a comment

---
 compiler/SymbolicToPure.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'compiler')

diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml
index de4fb4c1..24af578f 100644
--- a/compiler/SymbolicToPure.ml
+++ b/compiler/SymbolicToPure.ml
@@ -29,8 +29,9 @@ type config = {
           
           Also note that in general, backward functions "do more things" than
           forward functions, and have more opportunities to fail (even though
-          in the generated code, backward functions should fail exactly when
-          the forward functions fail).
+          in the generated code, calls to the backward functions should fail
+          exactly when the corresponding, previous call to the forward functions
+          failed).
           
           We might want to move this optimization to the micro-passes subsequent
           to the translation from symbolic to pure, but it is really super easy
-- 
cgit v1.2.3