repo is broken?

goblint · Feb 1, 2024 · da74c6c · da74c6c
1 parent 24d806c
commit da74c6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/small1/asm_goto6.c b/test/small1/asm_goto6.c
@@ -1,7 +1,7 @@
 #include "testharness.h"
 
 void code() {
-  asm goto ("nop" : : : :);
+  asm goto ("nop" : : : );
   E(1);
 }