Merge pull request #1815 from michaellilltokiwa/issue/1129

remove workaround from issue #1129
tokiwa-software · Aug 4, 2023 · 7f7b1f4 · 7f7b1f4
2 parents 067c4e0 + 1a66488
commit 7f7b1f4
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/lib/mutate.fz b/lib/mutate.fz
@@ -64,9 +64,7 @@ public mutate : simple_effect is
   # an id used for runtime checks to verify that mutation made with the same effect
   # the mutable value was created with
   #
-  # NYI: #1129: u64 manually specified as a workaround, remove it
-  #
-  id u64 := fuzion.sys.misc.unique_id
+  id := fuzion.sys.misc.unique_id
 
   # 0 is used to indicate this is closed
   #