Update tests/regression/38-int-refinements/02-strange-ulong.c

Co-authored-by: Julian Erhard <[email protected]>

Author: michael-schwarz

tests/regression/38-int-refinements/02-strange-ulong.c

@@ -1,6 +1,8 @@
 // PARAM: --enable ana.int.interval --set ana.int.refinement once
 #include <assert.h>
 
+int main();
+
 int withint() {
   int i = 0;
   void* bla;