# HG changeset patch
# User haftmann
# Date 1188799659 -7200
# Node ID ec3e5c1a0479cd69cb3b5bf8421fa4af853d09ad
# Parent  9565ac68c3cd934de55a653e40db69e8471002d5
fixed Rat.inv

diff -r 9565ac68c3cd -r ec3e5c1a0479 src/Tools/rat.ML
--- a/src/Tools/rat.ML	Mon Sep 03 08:01:35 2007 +0200
+++ b/src/Tools/rat.ML	Mon Sep 03 08:07:39 2007 +0200
@@ -95,7 +95,7 @@
 
 fun inv (Rat (p, q)) = case Integer.sign p
  of LESS => Rat (Integer.neg q, Integer.neg p)
-  | EQAUL => raise DIVZERO
+  | EQUAL => raise DIVZERO
   | GREATER => Rat (q, p);
 
 fun rounddown (Rat (p, q)) = Rat (Integer.div p q, 1);