From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 18 Nov 2020 21:07:45 +0000 (+0000)
Subject: cli: fix an ident
X-Git-Tag: otter-0.2.0~476
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=10d0d0dea1552ce7f8f947a06a48763728800b69;p=otter.git

cli: fix an ident

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.
---

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index ba5540c5..0be79295 100644
--- a/src/bin/otter.rs
+++ b/src/bin/otter.rs
@@ -690,7 +690,7 @@ mod reset_game {
       })?;
 
       setup_table(&ma, &table_spec)?; 
-   }
+    }
 
     let mut insns = vec![];