Skip to content
Snippets Groups Projects
Verified Commit 70192aec authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Always set options_.{ramsey,discretionary}_policy at the preprocessor level 

And set them before any computation is done.

These fields should rather be in M_.
parent 2f353a3c
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment