Suggestions from github issue #382

This commit is contained in:
caheckman 2019-04-12 09:44:53 -04:00
parent ba98e85429
commit 933e16f751
10 changed files with 19 additions and 17 deletions

View file

@ -91,7 +91,7 @@ UnifyDatatype::~UnifyDatatype(void)
delete storespot.cn;
break;
default:
throw LowlevelError("Bad unify datatype");
break;
}
}