From 6a280b70fc66ff0231a9945cc3b3718385d3971c Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 14 Aug 2018 14:04:08 -0400
Subject: Move g_numeral.ml4 to numeral.ml

As per https://github.com/coq/coq/pull/8064#pullrequestreview-145971522
---
 plugins/syntax/numeral_notation_plugin.mlpack | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/syntax/numeral_notation_plugin.mlpack')

diff --git a/plugins/syntax/numeral_notation_plugin.mlpack b/plugins/syntax/numeral_notation_plugin.mlpack
index 643c148979..f4d9cae3ff 100644
--- a/plugins/syntax/numeral_notation_plugin.mlpack
+++ b/plugins/syntax/numeral_notation_plugin.mlpack
@@ -1 +1,2 @@
+Numeral
 G_numeral
-- 
cgit v1.2.3