schedule: drop the ModelChecker::check_promises_thread_disabled interface
[cdsspec-compiler.git] / params.h
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-15 Brian Norrisparams: move model_params to header file