Fix unnecessary throw

diff --git a/reader.cc b/reader.cc
index 14b3b0c605ae4d52bfebff1c371f52d8139f2146..a57e9bebefc50265d0b11cc48160d5c85e9cb3c8 100644 (file)
--- a/reader.cc
+++ b/reader.cc
@@ -235,8 +235,6 @@ Store *Reader::readStoreOrElemStore(bool isElem) {
                        d_store = x;
                } else {
                        // join(d_store, x)
-                       // I have no idea what this would actually mean if it happened.
-                       throw "Joining of stores not implemented";
                }
                if (isElem) {
                        d_elemList.push_back(x);
@@ -251,8 +249,6 @@ Store *Reader::readStoreOrElemStore(bool isElem) {
                        d_store = alien;
                } else {
                        // join(d_store, alien)
-                       // I have no idea what this would actually mean if it happened.
-                       throw "Joining of stores not implemented";
                }
                if (isElem) {
                        d_elemList.push_back(alien);