From 947ba8ea21e7494d5707d9f4966238fdb39cce4c Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Mon, 30 Jun 2025 13:15:02 +0100 Subject: [PATCH] fix recursive predicate definitions --- src/exercises/queue/headers.test.h | 4 ++-- src/exercises/queue/headers.verif.h | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/exercises/queue/headers.test.h b/src/exercises/queue/headers.test.h index 3b1a4a7f..cc336e12 100644 --- a/src/exercises/queue/headers.test.h +++ b/src/exercises/queue/headers.test.h @@ -5,8 +5,8 @@ #include "../list/snoc.h" #include "./c_types.h" -#include "./cn_types_1.test.h" -#include "./cn_types_2.test.h" #include "./cn_types_3.test.h" +#include "./cn_types_2.test.h" +#include "./cn_types_1.test.h" #include "./allocation.test.h" diff --git a/src/exercises/queue/headers.verif.h b/src/exercises/queue/headers.verif.h index 333fc077..1d19ab3d 100644 --- a/src/exercises/queue/headers.verif.h +++ b/src/exercises/queue/headers.verif.h @@ -5,8 +5,8 @@ #include "../list/snoc.h" #include "./c_types.h" -#include "./cn_types_1.verif.h" -#include "./cn_types_2.verif.h" #include "./cn_types_3.verif.h" +#include "./cn_types_2.verif.h" +#include "./cn_types_1.verif.h" #include "./allocation.verif.h"