diff options
| author | Eduardo Julian | 2021-08-18 03:29:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-18 03:29:15 -0400 |
| commit | e00ba096c8837abe85d366e0c1293c09dbe84d81 (patch) | |
| tree | dc1f0955d4461ae30bb4945cddd74c462f1aee98 /stdlib/source/specification/lux/world | |
| parent | 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (diff) | |
Some bug fixes.
Diffstat (limited to 'stdlib/source/specification/lux/world')
| -rw-r--r-- | stdlib/source/specification/lux/world/file.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 971e312de..0b5414dea 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -166,7 +166,7 @@ (|>> (text\= child) not) (|>> (text\= sub_dir) not)) (random.ascii/numeric 2)) - expected_file_size (\ ! map (|>> (n.% 10) inc) random.nat) + expected_file_size (\ ! map (|>> (n.% 10) ++) random.nat) content ($binary.random expected_file_size) appendix ($binary.random expected_file_size) expected_time random.instant]) |