From ac2fdfb222083faa9c3893194e020bed38555ddb Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack <arnaud@spiwack.net>
Date: Tue, 2 Sep 2014 18:02:26 +0200
Subject: Add a [Variant] declaration which allows to write non-recursive
 variant types.

Just like the [Record] keyword allows only non-recursive records.
---
 ide/coq_commands.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/coq_commands.ml')

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index ae39a1249..9a6135301 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -92,6 +92,7 @@ let commands = [
    ];
   ["Read Module";
    "Record";
+   "Variant";
    "Remark";
    "Remove LoadPath";
    "Remove Printing Constructor";
-- 
cgit v1.2.3