Commit f92b601e authored by Lorenz Huedepohl's avatar Lorenz Huedepohl
Browse files

Remove annoying circular dependency

Was introduced recently, when I moved the private headers to src/
parent 556bdc1b