Declare other() before calling it.

goblint · Jan 29, 2024 · ae226c9 · ae226c9
1 parent ba0233f
commit ae226c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/46-apron2/59-issue-1319.c b/tests/regression/46-apron2/59-issue-1319.c
@@ -1,5 +1,5 @@
 // SKIP PARAM: --enable ana.int.def_exc --enable ana.int.interval --set ana.activated[+] apron
-#include <goblint.h>
+int other();
 
 int main()
 {