From 3bd7d44be833a85166103ff76a0008a29e62d5e3 Mon Sep 17 00:00:00 2001
From: "Dmitrii.Kosarev a.k.a. Kakadu" <Dmitrii.Kosarev@pm.me>
Date: Tue, 17 Dec 2024 19:47:02 +0300
Subject: [PATCH] Promote a BAD WRONG test after fixes (see #173)

Signed-off-by: Dmitrii.Kosarev a.k.a. Kakadu <Dmitrii.Kosarev@pm.me>
---
 regression/test011.t | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/regression/test011.t b/regression/test011.t
index a4a7a1533..43190636f 100644
--- a/regression/test011.t
+++ b/regression/test011.t
@@ -174,7 +174,7 @@
   fun q ->
     OCanren.Fresh.two
       (fun x y -> delay (fun () -> conj (!![x; y] === q) (y =/= x))), all answers {
-  q=[_.11; _.12 [=/= _.11]];
+  q=[_.11 [=/= _.12]; _.12];
   }
   fun q ->
     OCanren.Fresh.two
@@ -247,7 +247,7 @@
   fun x ->
     OCanren.Fresh.two
       (fun y z -> delay (fun () -> conj (x =/= !![y; !2]) (x === !![z; !2]))), all answers {
-  q=[_.12 [=/= _.11]; 2];
+  q=[_.12; 2];
   }
   fun q -> distincto (!2 % (!3 %< q)), all answers {
   q=_.35 [=/= 2; =/= 3];