# HG changeset patch
# User haftmann
# Date 1186758604 -7200
# Node ID fa9421d52c74b9e3b04b62a6a9d7f6f4bf326ee2
# Parent  a8a28c15c5cc74d2b8764e37aab78ce7991cebb6
corrected code generator module names

diff -r a8a28c15c5cc -r fa9421d52c74 src/HOL/Library/Executable_Rat.thy
--- a/src/HOL/Library/Executable_Rat.thy	Fri Aug 10 17:10:03 2007 +0200
+++ b/src/HOL/Library/Executable_Rat.thy	Fri Aug 10 17:10:04 2007 +0200
@@ -94,12 +94,15 @@
   unfolding Rat_def by simp
 
 code_modulename SML
+  Rational Rational
   Executable_Rat Rational
 
 code_modulename OCaml
+  Rational Rational
   Executable_Rat Rational
 
 code_modulename Haskell
+  Rational Rational
   Executable_Rat Rational
 
 end