Avoid potential collision between the new "options" command...

[super-star-trek.git] / test / test12.log

diff --git a/test/test12.log b/test/test12.log
index 294f97815bfcc3c9fc6f0247a6dc29ad6667cf74..a4c0a20be0885fdc9e5245be5b54fa3f2c60ccc4 100644 (file)
--- a/test/test12.log
+++ b/test/test12.log
@@ -1,5 +1,5 @@
 # seed 1691778615
-# options regular medium good fancy
+# arguments regular medium good fancy
 # SST2K version 2.7
 # Test dilithium mining
 # recorded by esr@snark.thyrsus.com on Fri Aug 11 14:30:15 2023