From 10d0d0dea1552ce7f8f947a06a48763728800b69 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 18 Nov 2020 21:07:45 +0000
Subject: [PATCH] cli: fix an ident

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.
---
 src/bin/otter.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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![];
 
-- 
2.30.2