missing header

Daniel Kroening · Daniel Kroening · commit 64bf88f2946f · 2016-06-11T20:03:58.000+01:00
diff --git a/regression/cbmc/Typecast1/main.c b/regression/cbmc/Typecast1/main.c
@@ -1,3 +1,5 @@
+#include <assert.h>
+
 int main()
 {
   assert(((long long int)(unsigned long long)-1)==-1);

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+#include <assert.h>`
	`2`	`+`
`1`	`3`	`int main()`
`2`	`4`	`{`
`3`	`5`	`assert(((long long int)(unsigned long long)-1)==-1);`