-
Siebers, Michael authored
The previous definition could result in unexpected errors. The previous oneof(...) throws an instantiation error when the parsed term is not ground. This may happen for example when a JSON object is parsed to a dict (tag is a variable). The replacement has the same semantical meaning but avoids throwing an instantiation exception when applied on a dict.
cb001817