chiark / gitweb /
cli: fix an ident
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 21:07:45 +0000 (21:07 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 21:07:45 +0000 (21:07 +0000)
This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

src/bin/otter.rs

index ba5540c51a308437b50524c4cf2aeaa196b2bcea..0be792953f7e11a2e60e9eea130e682b82257ece 100644 (file)
@@ -690,7 +690,7 @@ mod reset_game {
       })?;
 
       setup_table(&ma, &table_spec)?; 
-   }
+    }
 
     let mut insns = vec![];