diff options
| author | Son Ho | 2023-09-04 00:59:39 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-04 00:59:39 +0200 |
| commit | 3151e373d64f9bce6146a44cd2d3cc64cac84cbf (patch) | |
| tree | 4526ae6479542c2429c7b673f7d5abfdf6c598ec /Makefile | |
| parent | 25a741f1d79c537f5da4d21275eabdb1cc73ca89 (diff) | |
Fix minor issues
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -166,7 +166,7 @@ tleanp-polonius_list: OPTIONS += thol4p-polonius_list: SUBDIR := misc-polonius_list thol4p-polonius_list: OPTIONS += -trans-constants: OPTIONS += -test-units -test-trans-units -no-split-files -no-state +trans-constants: OPTIONS += -test-trans-units -no-split-files -no-state trans-constants: SUBDIR := misc tfstar-constants: OPTIONS += tcoq-constants: OPTIONS += |