/*
 * state.cc
 *
 *  Created on: 30.10.2010
 *      Author: Milan Krivanek
 */

#include "state.h"

namespace divine {
namespace generator {

StateMetrics State::metrics;

}
}