blob: 2f6ce7b864bd224bdc1a4ab563e0d2316d48d7f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Index: polyml/mlsource/extra/XWindows/ml_bind.ML
===================================================================
--- polyml/mlsource/extra/XWindows/ml_bind.ML (revision 1600)
+++ polyml/mlsource/extra/XWindows/ml_bind.ML (revision 1601)
@@ -2437,7 +2437,7 @@
exception XWindows = XWindows.XWindows;
-let
+local
open XWindows;
fun printRect _ _ (r:XRectangle) =
@@ -2447,6 +2447,6 @@
PolyML.PrettyString ("Rect " ^ PolyML.makestring R)
end;
in
- PolyML.addPrettyPrinter printRect
+ val () = PolyML.addPrettyPrinter printRect
end;
|
