We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 173842c commit c2cf2b2Copy full SHA for c2cf2b2
driver/main_args.ml
@@ -1603,6 +1603,7 @@ module Make_opttop_options (F : Opttop_options) = struct
1603
mk_dparsetree F._dparsetree;
1604
mk_dtypedtree F._dtypedtree;
1605
mk_drawlambda F._drawlambda;
1606
+ mk_dlambda F._dlambda;
1607
mk_drawclambda F._drawclambda;
1608
mk_dclambda F._dclambda;
1609
mk_dcmm_invariants F._dcmm_invariants;
@@ -1626,6 +1627,7 @@ module Make_opttop_options (F : Opttop_options) = struct
1626
1627
mk_dinterval F._dinterval;
1628
mk_dstartup F._dstartup;
1629
mk_dump_pass F._dump_pass;
1630
+ mk_extension F._extension;
1631
]
1632
end;;
1633
0 commit comments