From 7247ff164b488cfd0c001571f9614b4f7161bfcc Mon Sep 17 00:00:00 2001
From: Shubham <32415088+prophet1906@users.noreply.github.com>
Date: Mon, 8 Jan 2024 01:12:02 +0530
Subject: [PATCH] OCaml's lib directory layout changed in 5.0

---
 src/interp/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interp/dune b/src/interp/dune
index 5b05cc7..5f4d91b 100644
--- a/src/interp/dune
+++ b/src/interp/dune
@@ -1,3 +1,3 @@
 (library
  (name interp)
- (libraries p smtlib parse check reduce))
+ (libraries p smtlib parse check reduce unix))