Remove undefined_gen for if-else type

* Remove the TODO workaround as fixed. Signed-off-by: Pan Li <[email protected]>
rems-project · May 3, 2024 · 2dac639 · 2dac639
1 parent a0dadc7
commit 2dac639
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/float/common.sail b/lib/float/common.sail
@@ -38,7 +38,6 @@ type fp_bits = { 'n, 'n in {16, 32, 64}. bits('n) } /* Floating-point in bits. *
 let fp_eflag_invalid : fp_exception_flags = 0b00001
 
 /* Floating point struct */
-$[undefined_gen forbid] /* Todo: temporarlly workaround a type check error. */
 struct float_bits('n : Int) = {
   sign     : bits(1),
   exp      : bits(if  'n == 16