tmp

uclid-org · May 9, 2024 · 70747bb · 70747bb
1 parent a194f26
commit 70747bb
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/scala/uclid/lang/BlockFlattener.scala b/src/main/scala/uclid/lang/BlockFlattener.scala
@@ -157,8 +157,7 @@ class BlockFlattenerPass extends RewritePass {
           val readSet = StatementScheduler.readSets(blk.asInstanceOf[BlockStmt].stmts, context)
           acc ++ readSet
         }
-      }.filter(id => context.map.contains(id) && context.map(id).isInstanceOf[Scope.StateVar] 
-                              && (!id.name.startsWith("__ucld")))
+      }.filter(id => context.map.contains(id) && context.map(id).isInstanceOf[Scope.StateVar])
 
       val writes = filteredStmts.foldLeft(Set.empty[Identifier]) {
         (acc, blk) => {