Made Tipeable.

sireum · Feb 11, 2025 · aaae37a · aaae37a
1 parent e01d257
commit aaae37a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/IRTranslator.scala b/frontend/shared/src/main/scala/org/sireum/lang/IRTranslator.scala
@@ -41,7 +41,7 @@ object IRTranslator {
   }
 
   @ext("IRTranslatorFreshAtomic") object Ext {
-    def createFresh: Fresh = $
+    @pure def createFresh: Fresh = $
   }
 
   @strictpure def createFresh: Fresh = Ext.createFresh