Commit f8ed5bed authored by Fabian Ritter's avatar Fabian Ritter Committed by Anastasiia

Remove Leon header from DRealInterpreter

as it is in no way inspired by the Leon project.
parent 4b5c765c
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
package daisy
package solvers
......
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