aboutsummaryrefslogtreecommitdiff
path: root/bin/main.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2023-12-15 14:16:00 -0600
committerMarc Coquand <marc@mccd.space>2023-12-15 14:16:00 -0600
commit32affb2e5d575fcbfa16ddb2fda36115a6032f51 (patch)
tree530fd696ea161d62ec5269cc68a54b2f3533e323 /bin/main.ml
parent484b364a433938fb2bc215f1f76e99c432306fb6 (diff)
downloadwormhole-32affb2e5d575fcbfa16ddb2fda36115a6032f51.tar.gz
wormhole-32affb2e5d575fcbfa16ddb2fda36115a6032f51.tar.bz2
wormhole-32affb2e5d575fcbfa16ddb2fda36115a6032f51.zip
Blah
Diffstat (limited to '')
-rw-r--r--bin/main.ml1
1 files changed, 1 insertions, 0 deletions
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) =
{