From 9ed47a4e560dafeb43f6302bdc5fbc50665720b9 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 19 Apr 2016 21:00:14 +0200 Subject: [PATCH] fix comma --- modelchecker/coord.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 { -- 2.20.1