From e1438154fb28c8071ff4d26459996b9dc0a8bed0 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 26 Jun 2007 14:53:08 +0000
Subject: killing some more non-exhaustive patterns

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

(limited to 'tactics')

diff --git a/tactics/extraargs.ml4 b/tactics/extraargs.ml4
index c3377bca1f..4a6c2ffb25 100644
--- a/tactics/extraargs.ml4
+++ b/tactics/extraargs.ml4
@@ -279,6 +279,7 @@ let pr_r_int31_field _ _ _ i31f =
     | Retroknowledge.Int31PhiInv -> str "phi inv"
     | Retroknowledge.Int31Plus -> str "plus"
     | Retroknowledge.Int31Times -> str "times"
+    | _ -> assert false	
 
 let pr_retroknowledge_field _ _ _ f =
   match f with
-- 
cgit v1.2.3