# HG changeset patch
# User huffman
# Date 1122395478 -7200
# Node ID 2d9ebdc0c1ee40aff36ffca93239498f98c1c795
# Parent  2128ac2aa5db6a025a6f4271459efc6ee726fcbb
fixed typo

diff -r 2128ac2aa5db -r 2d9ebdc0c1ee src/HOLCF/Sprod.ML
--- a/src/HOLCF/Sprod.ML	Tue Jul 26 18:29:59 2005 +0200
+++ b/src/HOLCF/Sprod.ML	Tue Jul 26 18:31:18 2005 +0200
@@ -6,7 +6,7 @@
 val inst_sprod_pcpo2 = thm "inst_sprod_pcpo2"; (* *)
 val less_sprod_def = thm "less_Sprod_def";
 val less_sprod = thm "less_sprod";
-val Rep_Sprod_spair = thm "Rep_Sprod_Spair";
+val Rep_Sprod_spair = thm "Rep_Sprod_spair";
 val sfst_defined_iff = thm "sfst_defined_iff";
 val sfst_defined = thm "sfst_defined";
 val sfst_def = thm "sfst_def";