Differences

This shows you the differences between two versions of the page.

--- stats:proc:validateaccount [2011/10/13 23:16] – Patrick Michel
+++ stats:proc:validateaccount [2013/07/10 12:32] (current) – external edit 127.0.0.1
@@ Line 3: / Line 3: @@
 <code xcend>
 validateAccount(ident username, string code) {
-  assume exists //accounts/account[username]/code; # implies existence of the account
+  assume exists /account[username]/code; # implies existence of the account
-  assume //accounts/account[username]/code = code;
+  assume /account[username]/code = code;
-  remove //accounts/account[username]/code;
+  remove /account[username]/code;
 }
 </code>