From e711d16ebfbe7fe191f6a79d7578a6c533678028 Mon Sep 17 00:00:00 2001 From: gereon Date: Tue, 12 Mar 2013 13:48:12 +0100 Subject: [PATCH] Changed default initial value for BooleanVariable. Was false (suggesting that no initial value would be equivalent to specifying false), is nullptr now. --- src/ir/BooleanVariable.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ir/BooleanVariable.h b/src/ir/BooleanVariable.h index e12506b67..9c5ba17c0 100644 --- a/src/ir/BooleanVariable.h +++ b/src/ir/BooleanVariable.h @@ -33,7 +33,7 @@ public: * @param variableName the name of the variable. * @param initialValue the expression that defines the initial value of the variable. */ - BooleanVariable(uint_fast64_t index, std::string variableName, std::shared_ptr initialValue = std::shared_ptr(new storm::ir::expressions::BooleanLiteral(false))); + BooleanVariable(uint_fast64_t index, std::string variableName, std::shared_ptr initialValue = std::shared_ptr(nullptr)); /*! * Retrieves a string representation of this variable.