From 94dd3b14721010053596a7e443b55dc3fbb0653d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 8 Aug 1998 10:21:02 +0000
Subject: [PATCH] Exception Use_default inutile

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 asmcomp/mips/proc.ml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/asmcomp/mips/proc.ml b/asmcomp/mips/proc.ml
index a1f75bf35..8f25b7193 100644
--- a/asmcomp/mips/proc.ml
+++ b/asmcomp/mips/proc.ml
@@ -19,10 +19,6 @@ open Reg
 open Arch
 open Mach
 
-(* Exceptions raised to signal cases not handled here *)
-
-exception Use_default
-
 (* Instruction selection *)
 
 let word_addressed = false