janhaag/PSE2011 — Issue #37: Unused class in project
Author: ratefuchs
Created: 2012-02-26 16:17:51+00:00
State: open

Class verifier.smtlib.Variable is not used and needs to be deleted.