// #pragma once // GCC issues a warning when using 'pragma once' with precompiled headers...
#ifndef MAIN_PCH
#define MAIN_PCH

#include "Compiler/Storm.h"
#include "Utils/Utils.h"

using namespace storm;
using std::wcout;
using std::wcerr;
using std::wcin;

#endif
