From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 19 Apr 2016 19:00:14 +0000 (+0200)
Subject: fix comma
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9ed47a4e560dafeb43f6302bdc5fbc50665720b9;p=mc1516pa.git

fix comma
---

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index f9dd7e5..7a4f545 100644
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -998,7 +998,7 @@ trans_t *create_single_rel(sokoban_screen *screen, direction dir)
                 memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
             }
             else if ((deltai < i) < gammai){
-                uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, ,1 ,1, 0};
+                uint8_t rel_enc__[18] = {1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 1 ,1, 0};
                 memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
             }
             else {