From 5588808852a2fd379be0e9c01cf67cfdcbcdd4c3 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Thu, 18 Jan 2024 19:02:16 -0600
Subject: Prepare to output non-single-expr messages.

---
 discocaml/eval.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'discocaml/eval.ml')

diff --git a/discocaml/eval.ml b/discocaml/eval.ml
index 68bb637..63dd6f7 100644
--- a/discocaml/eval.ml
+++ b/discocaml/eval.ml
@@ -5,3 +5,4 @@ type path = int list
 
 let find_redex_cbv : expr -> path option = function _ -> None
 let find_redex_cbn : expr -> path option = function _ -> None
+let reduce : expr -> path -> expr = fun e _ -> e
-- 
cgit v1.2.3