dummy definition to make the windows linker happy
dummy definition to make the windows linker happy

peschue/clingo,peschue/clingo,potassco/clingo,peschue/clingo,potassco/clingo,peschue/clingo,potassco/clingo,potassco/clingo