Commit ff0f8d41 authored by Joachim Bard's avatar Joachim Bard

fixed bounds checker function

comparison of precondition and the precondition part of the query was
missing
parent e48791c8
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment