/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-
+
#ifndef SIMGRID_MC_MODEL_CHECKER_HPP
#define SIMGRID_MC_MODEL_CHECKER_HPP
#include <simgrid_config.h>
#include <xbt/dict.h>
-#include "mc_forward.h"
+#include "mc_forward.hpp"
#include "mc_process.h"
#include "PageStore.hpp"
#include "mc_protocol.h"