DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Fix typo in error message

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-08 21:50:25 -08:00
parent 731876a7e6
commit 2c7334ab0d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/include/deepstate/DeepState.hpp
+2 -2
View File
@@ -184,7 +184,7 @@ class Symbolic<std::wstring> : public SymbolicLinearContainer<std::wstring> {
};
template <typename T>
class Symbolic<std::vector<T>> :
class Symbolic<std::vector<T>> :
public SymbolicLinearContainer<std::vector<T>> {};
#define MAKE_SYMBOL_SPECIALIZATION(Tname, tname) \
@@ -299,7 +299,7 @@ static T Pump(T val, unsigned max=10) {
return val;
}
if (!max) {
DeepState_Abandon("Must have a positie maximum number of values to pump.");
DeepState_Abandon("Must have a positive maximum number of values to pump.");
}
for (auto i = 0U; i < max - 1; ++i) {
T min_val = Minimize(val);