From 2e7eb4d3049b3d26d1efbe3843a68c63f8a21648 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 26 Nov 2008 15:12:01 +0000
Subject: closed bug 1898: fold x in x; added a reordering primitive tactic

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11632 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/proof_type.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'proofs/proof_type.ml')

diff --git a/proofs/proof_type.ml b/proofs/proof_type.ml
index 6f8aebf0ef..dabc84ca31 100644
--- a/proofs/proof_type.ml
+++ b/proofs/proof_type.ml
@@ -37,6 +37,7 @@ type prim_rule =
   | Thin of identifier list
   | ThinBody of identifier list
   | Move of bool * identifier * identifier move_location
+  | Order of identifier list
   | Rename of identifier * identifier
   | Change_evars
 
-- 
cgit v1.2.3