From 32affb2e5d575fcbfa16ddb2fda36115a6032f51 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 15 Dec 2023 14:16:00 -0600 Subject: Blah --- bin/main.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'bin/main.ml') diff --git a/bin/main.ml b/bin/main.ml index 45bd973..1bc31cd 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,4 +1,5 @@ open Wormhole +open Ppx_inline_test_lib let (fake_post : Post.t) = { -- cgit v1.2.3