temp-queue1.broken.c was missing a definition of rev, so temporarily

declaring it here to make the CI happy
rems-project · Jun 7, 2024 · 5583741 · 5583741 · bcpierce00 · Jun 8, 2024
1 parent 4b2c176
commit 5583741
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/examples/temp-queue1.broken.c b/src/examples/temp-queue1.broken.c
@@ -1,5 +1,9 @@
 #include "list.h"
 
+
+/*@ function (datatype seq) rev(datatype seq xs) @*/
+
+
 // N.b.: This is wrong!
 /*@
 function [rec] (datatype seq) snoc(datatype seq xs, i32 y) {