missing header

Daniel Kroening · Daniel Kroening · commit b4f3819447ac · 2016-06-10T09:09:20.000+01:00
diff --git a/regression/cbmc/BV_Arithmetic4/main.c b/regression/cbmc/BV_Arithmetic4/main.c
@@ -1,3 +1,5 @@
+#include <assert.h>
+
 /* Copy new sign bit to the left */
 int test_extend2(int x, unsigned width)
 {

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+#include <assert.h>`
	`2`	`+`
`1`	`3`	`/* Copy new sign bit to the left */`
`2`	`4`	`int test_extend2(int x, unsigned width)`
`3`	`5`	`{`