From 20254ed23eb75d8c3832b807ea97616fd684976e Mon Sep 17 00:00:00 2001 From: Gert van Valkenhoef Date: Wed, 9 Nov 2011 22:55:05 +0000 Subject: [PATCH] Fix unnecessary throw --- reader.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/reader.cc b/reader.cc index 14b3b0c..a57e9be 100644 --- 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); -- 2.29.2