Federico Cavalieri has proposed merging 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

Commit message:
Fixed random#0 function annotation.

Requested reviews:
  Zorba Coders (zorba-coders)

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Fixed random#0 function annotation.
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.
=== modified file 'src/runtime/spec/random/random.xml'
--- src/runtime/spec/random/random.xml	2013-05-08 20:14:47 +0000
+++ src/runtime/spec/random/random.xml	2013-12-19 19:00:01 +0000
@@ -59,7 +59,7 @@
     <zorba:member type="xs_integer" name="theCurrCounter" brief=""/>
   </zorba:state>
 
-  <zorba:function isDeterministic="true">
+  <zorba:function isDeterministic="false">
 
     <zorba:signature localname="random" prefix="fn-zorba-random">
       <zorba:param>xs:integer</zorba:param> <!-- num of number to be genreated -->

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to     : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp

Reply via email to