fixup! assert empty description string

ethereum · May 16, 2024 · f7a7cf4 · f7a7cf4
1 parent e4bf0db
commit f7a7cf4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/libsolidity/analysis/DeclarationTypeChecker.cpp b/libsolidity/analysis/DeclarationTypeChecker.cpp
@@ -472,7 +472,7 @@ void DeclarationTypeChecker::endVisit(VariableDeclaration const& _variable)
  typeLoc = DataLocation::Transient;
  break;
  default:
- solAssert(false, "");
+ solAssert(false);
  break;
  }
  }

diff --git a/libsolidity/formal/ModelChecker.cpp b/libsolidity/formal/ModelChecker.cpp
@@ -67,7 +67,7 @@ void ModelChecker::checkRequestedSourcesAndContracts(std::vector<std::shared_ptr
  struct TransientDataLocationChecker: ASTConstVisitor
  {
  TransientDataLocationChecker(SourceUnit const& _sourceUnit) { _sourceUnit.accept(*this); }
- void endVisit(VariableDeclaration const& _var) { solUnimplementedAssert(_var.referenceLocation() != VariableDeclaration::Location::Transient, ""); }
+ void endVisit(VariableDeclaration const& _var) { solUnimplementedAssert(_var.referenceLocation() != VariableDeclaration::Location::Transient); }
  };
 
  for (auto const& source: _sources)