Preprocessor: fix check for the presence of ramsey_{model,policy} when ramsey_constraints is used

mr#2005
Sébastien Villemot 2022-04-12 14:50:29 +02:00
parent 40bba5e0f6
commit 08d1426014
No known key found for this signature in database
GPG Key ID: 2CECE9350ECEBE4A
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 71edfd05e4cc28cb3e36e217aaa0e0cbdc030fd2
Subproject commit a431682697504bdc79ec8d574fda615917f3591c