From c511207bd0f25c4199770233175924a725526bd3 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 15 Dec 2013 14:47:20 +0000
Subject: Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.
 VERSION: bump version number.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2379 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 VERSION | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 35fa6ad9..1da5320a 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,3 @@
-2.0
-
+2.2
 
 
-- 
cgit