diff --git a/tests/predator-regre/test-0170.c b/tests/predator-regre/test-0170.c
index 34eed4461..a9478d9b8 100644
--- a/tests/predator-regre/test-0170.c
+++ b/tests/predator-regre/test-0170.c
@@ -36,7 +36,7 @@ void DLDisposeList (struct TList *L) {
     L->Act = ((void *)0);
     L->Last = ((void *)0);
 }
-
+void DLError(void);
 void DLInsertFirst (struct TList *L) {
     struct TNode * ptr = malloc(sizeof *ptr);
     if (((void *)0)==ptr) {
diff --git a/tests/predator-regre/test-0183.c b/tests/predator-regre/test-0183.c
index d9046dc52..47816713d 100644
--- a/tests/predator-regre/test-0183.c
+++ b/tests/predator-regre/test-0183.c
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-extern int __VERIFIER_nondet_int(void);
+#include <verifier-builtins.h>
 
 static void fail(void) {
 ERROR:
diff --git a/tests/predator-regre/test-0184.c b/tests/predator-regre/test-0184.c
index cd6b8cf09..620b5ba51 100644
--- a/tests/predator-regre/test-0184.c
+++ b/tests/predator-regre/test-0184.c
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-extern int __VERIFIER_nondet_int(void);
+#include <verifier-builtins.h>
 
 static void fail(void) {
 ERROR:
diff --git a/tests/predator-regre/test-0240.c b/tests/predator-regre/test-0240.c
index b42edc99e..d4495f200 100644
--- a/tests/predator-regre/test-0240.c
+++ b/tests/predator-regre/test-0240.c
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-extern int __VERIFIER_nondet_int(void);
+#include <verifier-builtins.h>
 
 struct node {
     struct node *next;