From 60be28b590c245cea3de73d22000bf8d1f4d5ee7 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Mon, 6 Jan 2025 09:35:17 +0100 Subject: [PATCH] Lint --- lib/bopkit_simulator/src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/bopkit_simulator/src/dune b/lib/bopkit_simulator/src/dune index 3f3535a..84a08bf 100644 --- a/lib/bopkit_simulator/src/dune +++ b/lib/bopkit_simulator/src/dune @@ -25,8 +25,8 @@ loc pp pp-log.err - unix - stdio) + stdio + unix) (lint (pps ppx_js_style -check-doc-comments)) (preprocess