patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Minor refactoring

Browse Source
This commit is contained in:
patrick
2018-04-27 17:38:29 +02:00
committed by patrick
parent d66d3557c1
commit 3ba80e8c9d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/anthem/Context.h
+2 -2
View File
@@ -35,8 +35,8 @@ struct Context
output::Logger logger; output::Logger logger;
bool performSimplification = false; bool performSimplification{false};
bool performCompletion = false; bool performCompletion{false};
std::optional<std::vector<PredicateSignatureMeta>> visiblePredicateSignatures; std::optional<std::vector<PredicateSignatureMeta>> visiblePredicateSignatures;
std::optional<std::vector<PredicateSignatureMeta>> externalPredicateSignatures; std::optional<std::vector<PredicateSignatureMeta>> externalPredicateSignatures;