get rid of g_axiom_evaluators#235

FlorianPommerening wants to merge 1 commit intoaibasel:mainaibasel/downward:mainfrom

FlorianPommerening:issue1159FlorianPommerening/downward:issue1159Copy head branch name to clipboard