From a608857d52e5f613a50f83a411cd17f8b10540f8 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Wed, 5 Dec 2018 20:57:10 -0700 Subject: [PATCH] x can't be const now --- src/include/deepstate/DeepState.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index bbcf1bb..d500837 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -260,7 +260,7 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) { if (low > high) { \ return DeepState_ ## Tname ## InRange(high, low); \ } \ - const tname x = DeepState_ ## Tname(); \ + tname x = DeepState_ ## Tname(); \ if (DeepState_UsingSymExec) { \ (void) DeepState_Assume(low <= x && x <= high); \ } else { \