From d783ea2aa3b7700d021552817953a20d81a2c9f7 Mon Sep 17 00:00:00 2001 From: VictorBlanchi <76261859+VictorBlanchi@users.noreply.github.com> Date: Mon, 18 Mar 2024 11:24:20 +0100 Subject: [PATCH] Fix issue when trying to opam install probzelus (#12) Signed-off-by: Victor Blanchi --- probzelus/configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/probzelus/configure b/probzelus/configure index c4deb7b4..c5eb0ae0 100755 --- a/probzelus/configure +++ b/probzelus/configure @@ -1,4 +1,4 @@ -#!/usr/bin/env ocaml -I +unix +#!/usr/bin/env -S ocaml -I +unix #load "unix.cma" @@ -41,4 +41,4 @@ let () = exit code |} libs; - close_out oc \ No newline at end of file + close_out oc