From ac1aabd3f73d9b0d8b989088ae37dc4367c04f41 Mon Sep 17 00:00:00 2001
From: Stephen Dolan <sdolan@janestreet.com>
Date: Thu, 4 Nov 2021 17:03:41 +0000
Subject: Add -dlambda to ocamlnat options

---
 driver/main_args.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver')

diff --git a/driver/main_args.ml b/driver/main_args.ml
index dbef6154ce..8fdfd8c15f 100644
--- a/driver/main_args.ml
+++ b/driver/main_args.ml
@@ -1559,6 +1559,7 @@ module Make_opttop_options (F : Opttop_options) = struct
     mk_dparsetree F._dparsetree;
     mk_dtypedtree F._dtypedtree;
     mk_drawlambda F._drawlambda;
+    mk_dlambda F._dlambda;
     mk_drawclambda F._drawclambda;
     mk_dclambda F._dclambda;
     mk_dcmm_invariants F._dcmm_invariants;
-- 
cgit v1.2.1