From 915a8b24ec88a0765697d05a0f936583c8ba2434 Mon Sep 17 00:00:00 2001 From: Jip Spel Date: Thu, 23 Aug 2018 10:11:59 +0200 Subject: [PATCH] Remove superfluous vars --- src/storm-pars/analysis/Lattice.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/storm-pars/analysis/Lattice.h b/src/storm-pars/analysis/Lattice.h index 643dc16b6..d37fea695 100644 --- a/src/storm-pars/analysis/Lattice.h +++ b/src/storm-pars/analysis/Lattice.h @@ -177,8 +177,6 @@ namespace storm { uint_fast64_t successor1 = currentState->successor1; uint_fast64_t successor2 = currentState->successor2; int compareResult = lattice->compare(successor1, successor2); - Node* node1 = lattice->getNode(successor1); - Node* node2 = lattice->getNode(successor2); if (compareResult == 1) { // successor 1 is closer to top than successor 2 lattice->addBetween(currentState->stateNumber, lattice->getNode(successor1),