Change weather -> whether in libgringo/clingo.h. (#7)
Change weather -> whether in libgringo/clingo.h. (#7)


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