Fix bug that occurs with nested quantifiers.

Issue #20 new
tkeller
repo owner created an issue

An assertion in instantiate.cc (line 65) is violated in the presence of nested quantifiers. (issue from 19.10.2015)

Comments (0)

  1. Log in to comment