summaryrefslogtreecommitdiffstats
path: root/lib/convert.ml
diff options
context:
space:
mode:
authorRutger Broekhoff2025-08-26 11:16:29 +0200
committerRutger Broekhoff2025-08-26 11:16:29 +0200
commitf95748e82a354f2ac857359774ec3227705838af (patch)
treee9d8eaf5d8b1cdb3950fdd2929ec5d97e541bf03 /lib/convert.ml
parente6873458facadea0dfb228bb33291d6baf68c427 (diff)
downloadrdcapsis-f95748e82a354f2ac857359774ec3227705838af.tar.gz
rdcapsis-f95748e82a354f2ac857359774ec3227705838af.zip
Prelude
Diffstat (limited to 'lib/convert.ml')
-rw-r--r--lib/convert.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/convert.ml b/lib/convert.ml
index fb41020..5afc95e 100644
--- a/lib/convert.ml
+++ b/lib/convert.ml
@@ -1,4 +1,4 @@
1open Core 1open Prelude
2open Ledger 2open Ledger
3open Result.Let_syntax 3open Result.Let_syntax
4 4