# HG changeset patch
# User wenzelm
# Date 1159395008 -7200
# Node ID 8bd4e37ff05c87cd97cfa273b7134e9463278f93
# Parent  f7f2d03fe6f9a1ed33f729562828a14cbc880921
proper use of PolyML.shareCommonData;

diff -r f7f2d03fe6f9 -r 8bd4e37ff05c lib/scripts/run-polyml-4.9.1
--- a/lib/scripts/run-polyml-4.9.1	Wed Sep 27 23:53:46 2006 +0200
+++ b/lib/scripts/run-polyml-4.9.1	Thu Sep 28 00:10:08 2006 +0200
@@ -61,7 +61,7 @@
   if [ -z "$COMPRESS" ]; then
     COMMIT="fun commit () = (PolyML.export (\"$OUTFILE\", PolyML.rootFunction); true);"
   else
-    COMMIT="fun commit () = (PolyML.export (\"$OUTFILE\", PolyML.shareCommonData PolyML.rootFunction); true);"
+    COMMIT="fun commit () = (PolyML.shareCommonData PolyML.rootFunction; PolyML.export (\"$OUTFILE\", PolyML.rootFunction); true);"
   fi
   [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
   rm -f "${OUTFILE}.o" || fail_out