From 190a9166ddd9e9c51932b5512cbcaac8660253b6 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 5 Oct 2005 12:40:40 +0000
Subject: [PATCH] new stub based on LargeWord

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3171 3260e6d1-4efc-4170-b0a7-36055960796d
---
 lib/fxp/src/contrib/Word32.sml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/fxp/src/contrib/Word32.sml b/lib/fxp/src/contrib/Word32.sml
index cc4ead2..e953c1f 100644
--- a/lib/fxp/src/contrib/Word32.sml
+++ b/lib/fxp/src/contrib/Word32.sml
@@ -1,3 +1,8 @@
+structure Word32 = LargeWord;
+(**********************************
+  OLD STUB BASED ON WORD8
+ **********************************)
+(*
 (*
     Title:      Standard Basis Library: Word32 Structure
     Author:     David Matthews
@@ -182,3 +187,4 @@ RunCall.addOverload it "=";
 val it : Word32.word * Word32.word -> bool =
 	RunCall.run_call2 RuntimeCalls.POLY_SYS_word_neq;
 RunCall.addOverload it "<>";
+*)