From f1fef122b4eb816add7d490d9553369c96f50396 Mon Sep 17 00:00:00 2001
From: Francois Bojarski <francois.bojarski@consensys.net>
Date: Thu, 4 Jan 2024 16:16:33 +0100
Subject: [PATCH] fix: lookup selector

---
 euc/euc_into_wcp.lisp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/euc/euc_into_wcp.lisp b/euc/euc_into_wcp.lisp
index 4d765e84..f9054f17 100644
--- a/euc/euc_into_wcp.lisp
+++ b/euc/euc_into_wcp.lisp
@@ -18,8 +18,8 @@
     (* euc.REMAINDER euc.DONE)
     0
     (* euc.DIVISOR euc.DONE)
-    1
-    LT
+    (* 1 euc.DONE)
+    (* LT euc.DONE)
   ))