More

ajreynol · ajreynol · commit 564d970854a9 · 2025-04-29T10:00:10.000-05:00
diff --git a/src/state.cpp b/src/state.cpp
@@ -1283,7 +1283,7 @@ Expr State::getBoundVar(const std::string& name, const Expr& type)
   if (!type.isGround())
   {
     // If the type is non-ground, we cannot evaluate it yet. Moreover this is
-    // not cached
+    // not cached here, instead it is cached as part of mkExpr.
     Expr ename = mkLiteral(Kind::STRING, name);
     return mkExpr(Kind::EVAL_VAR, {ename, type});
   }

Original file line number	Diff line number	Diff line change
`@@ -1283,7 +1283,7 @@ Expr State::getBoundVar(const std::string& name, const Expr& type)`
`1283`	`1283`	`if (!type.isGround())`
`1284`	`1284`	`{`
`1285`	`1285`	`// If the type is non-ground, we cannot evaluate it yet. Moreover this is`
`1286`		`- // not cached`
	`1286`	`+ // not cached here, instead it is cached as part of mkExpr.`
`1287`	`1287`	`Expr ename = mkLiteral(Kind::STRING, name);`
`1288`	`1288`	`return mkExpr(Kind::EVAL_VAR, {ename, type});`
`1289`	`1289`	`}`