From b1f683105f1c6118c6a7949435ca653d873aca01 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Fri, 18 Dec 2015 15:49:13 +0100
Subject: State: remove useless OPTIONS state

---
 core/src/ch/asynk/rustanddust/game/State.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/core/src/ch/asynk/rustanddust/game/State.java b/core/src/ch/asynk/rustanddust/game/State.java
index cc7ea9c..386df8b 100644
--- a/core/src/ch/asynk/rustanddust/game/State.java
+++ b/core/src/ch/asynk/rustanddust/game/State.java
@@ -15,8 +15,7 @@ public interface State
         WITHDRAW,
         ABORT,
         DONE,
-        TURN_OVER,
-        OPTIONS
+        TURN_OVER
     };
 
     public void enter(StateType prevState);
-- 
cgit v1.1-2-g2b99