basis/extra: replace "/ >integer" with "/i" in a few places.

[factor.git] / extra / logic / examples / money / money.factor

diff --git a/extra/logic/examples/money/money.factor b/extra/logic/examples/money/money.factor
index 58d62b599b0494caa4d1f2b234681537514b61ef..110f3df1890d773736f1d9b8d983b755b6663bd8 100644 (file)
--- a/extra/logic/examples/money/money.factor
+++ b/extra/logic/examples/money/money.factor
@@ -25,7 +25,7 @@ LOGIC-VARS: S E N D M O R Y A L G B T
     { delo D Digs3 Digs }
     [ [ [ D1 of ] [ D2 of ] [ C1 of ] tri + + ] S is ]
     [ [ S of 10 mod ] D is ]
-    [ [ S of 10 / >integer ] C is ]
+    [ [ S of 10 /i ] C is ]
 } rule
 
 { delo A L L } { { nonvaro A } !! } rule