From fdfcadc111fb5618a8e4a769c50607dc920b7dec Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sat, 20 Oct 2018 23:43:07 +0200
Subject: Parsing primitive float constants

---
 plugins/syntax/plugin_base.dune | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'plugins/syntax/plugin_base.dune')

diff --git a/plugins/syntax/plugin_base.dune b/plugins/syntax/plugin_base.dune
index 7a23581768..512752135d 100644
--- a/plugins/syntax/plugin_base.dune
+++ b/plugins/syntax/plugin_base.dune
@@ -25,3 +25,10 @@
  (synopsis "Coq syntax plugin: int63")
  (modules int63_syntax)
  (libraries coq.vernac))
+
+(library
+ (name float_syntax_plugin)
+ (public_name coq.plugins.float_syntax)
+ (synopsis "Coq syntax plugin: float")
+ (modules float_syntax)
+ (libraries coq.vernac))
-- 
cgit v1.2.3