diff options
Diffstat (limited to 'src/options/decision_weight.h')
| -rw-r--r-- | src/options/decision_weight.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options/decision_weight.h b/src/options/decision_weight.h index 42f1d5b6d..89ebe8a21 100644 --- a/src/options/decision_weight.h +++ b/src/options/decision_weight.h @@ -21,7 +21,9 @@ namespace CVC4 { namespace decision { + typedef uint64_t DecisionWeight; + }/* CVC4::decision namespace */ }/* CVC4 namespace */ |