From 1059d226e44d9ad65285e5e1a9aba58856a2ed57 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 21 Oct 2014 13:25:19 -0700
Subject: [PATCH] add default statement instead of incomplete cases

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/gparams.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/util/gparams.cpp b/src/util/gparams.cpp
index 83157a0b0..adffe6bde 100644
--- a/src/util/gparams.cpp
+++ b/src/util/gparams.cpp
@@ -261,8 +261,7 @@ public:
                 throw default_exception(strm.str());
             }
             break;
-        case CPK_SYMBOL:
-        case CPK_STRING:
+        default:
             break;
         }
     }