replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix include order in memory-models

This commit is contained in:
reuk 2017-05-07 14:07:13 +01:00
parent e42a090883
commit dc809b73d9
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/memory-models/mm2cpp.cpp
View File

@ -6,13 +6,12 @@ Author: Daniel Kroening, kroening@kroening.com
\*******************************************************************/
#include "mm2cpp.h"
#include <ostream>
#include <util/std_code.h>
#include "mm2cpp.h"
class mm2cppt
{
public:

4
src/memory-models/mmcc_main.cpp
View File

@ -9,10 +9,10 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// mmcc Main Module
#include <util/unicode.h>
#include "mmcc_parse_options.h"
#include <util/unicode.h>
#ifdef _MSC_VER
int wmain(int argc, const wchar_t **argv_wide)
{

3
src/memory-models/mmcc_parse_options.cpp
View File

@ -9,6 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// mmcc Command Line Option Processing
#include "mmcc_parse_options.h"
#include <iostream>
#include <fstream>
@ -18,7 +20,6 @@ Author: Daniel Kroening, kroening@kroening.com
#include "mm_parser.h"
#include "mm2cpp.h"
#include "mmcc_parse_options.h"
mmcc_parse_optionst::mmcc_parse_optionst(int argc, const char **argv):
parse_options_baset(MMCC_OPTIONS, argc, argv)