diff --git a/reader.cc b/reader.cc
index 14b3b0c605ae4d52bfebff1c371f52d8139f2146..a57e9bebefc50265d0b11cc48160d5c85e9cb3c8 100644 (file)
--- a/reader.cc
+++ b/reader.cc
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);
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);