diff options
Diffstat (limited to 'comparison/Inpla/src/bsort-40000-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/bsort-40000-reuse.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/comparison/Inpla/src/bsort-40000-reuse.in b/comparison/Inpla/src/bsort-40000-reuse.in index 5908f83..d5b23ff 100644 --- a/comparison/Inpla/src/bsort-40000-reuse.in +++ b/comparison/Inpla/src/bsort-40000-reuse.in @@ -18,7 +18,7 @@ make_RandList(ret) >< (int n) // validation checks -valid(ret) >< [] => ret~False; +valid(ret) >< [] => ret~True; valid(ret) >< x:xs => (*L)valid_Cons(ret,x)~xs; valid_Cons(ret, int x) >< [] => ret~True; |