remove redundant new_port(.., get_val(..))

HigherOrderCO · Aug 1, 2024 · d029c7f · d029c7f
1 parent 1e5b9f5
commit d029c7f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/hvm.cu b/src/hvm.cu
@@ -1873,7 +1873,7 @@ Port gnet_expand(GNet* gnet, Port port) {
   Port got = gnet_peek(gnet, port);
   //printf("expand %s\n", show_port(got).x);
   while (get_tag(got) == REF) {
-    gnet_boot_redex(gnet, new_pair(new_port(REF,get_val(got)), ROOT));
+    gnet_boot_redex(gnet, new_pair(got, ROOT));
     gnet_normalize(gnet);
     got = gnet_peek(gnet, gnet_vars_load(gnet, get_val(ROOT)));
   }