remove comments

utwente-fmt · Jan 23, 2024 · 7c77722 · 7c77722
1 parent 4e2d379
commit 7c77722
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/test/main/vct/test/integration/examples/CSpec.scala b/test/main/vct/test/integration/examples/CSpec.scala
@@ -379,13 +379,13 @@ class CSpec extends VercorsSpec {
     };
 
     void main() {
-      int *ip = NULL;                               // works
-      double *dp = NULL;                            // works
-      struct nested *np = NULL;                     // works
-      // np = (struct nested*) NULL;                // causes "This cast is not supported"
+      int *ip = NULL;                              
+      double *dp = NULL;                           
+      struct nested *np = NULL;                    
+      // np = (struct nested*) NULL;               
       np = (struct nested*) malloc(sizeof(struct nested));
-      // np->inner = NULL;                          // causes "Expected the type of this expression to be `pointer<struct Unknown_35326835>`, but got ??TNull??()"
-      // np->inner = (struct nested*) NULL;         // causes "This cast is not supported"
+      // np->inner = NULL;
+      // np->inner = (struct nested*) NULL;         
     }
     """
 }