Change test back to check what it is supposed to check.

goblint · Dec 11, 2023 · c4a71b2 · c4a71b2
1 parent d105414
commit c4a71b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/79-modular/28-return-void-allocated.c b/tests/regression/79-modular/28-return-void-allocated.c
@@ -9,7 +9,7 @@ typedef struct node {
 
 node_t *allocate_node(){
     // Changing the pointer type to node_t* resolves the issue
-    node_t* n = malloc(sizeof(node_t));
+    int* n = malloc(sizeof(node_t));
     return (node_t*) n;
 }