From 15ffc107ff12dbe5fba85ba7a3f70c783ef92aed Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 20 Jun 2018 20:21:23 +0630 Subject: [PATCH] Add mli's to {dune,jbuild}_lexer Signed-off-by: Rudi Grinberg --- src/usexp/dune_lexer.mli | 1 + src/usexp/jbuild_lexer.mli | 1 + 2 files changed, 2 insertions(+) create mode 100644 src/usexp/dune_lexer.mli create mode 100644 src/usexp/jbuild_lexer.mli diff --git a/src/usexp/dune_lexer.mli b/src/usexp/dune_lexer.mli new file mode 100644 index 00000000..5d1e70f7 --- /dev/null +++ b/src/usexp/dune_lexer.mli @@ -0,0 +1 @@ +val token : Lexer_shared.t diff --git a/src/usexp/jbuild_lexer.mli b/src/usexp/jbuild_lexer.mli new file mode 100644 index 00000000..5d1e70f7 --- /dev/null +++ b/src/usexp/jbuild_lexer.mli @@ -0,0 +1 @@ +val token : Lexer_shared.t