Skip to content

Commit eda68f4

Browse files
author
Remi Delmas
committed
CONTRACTS: fix include error in api.h
1 parent ceed0e8 commit eda68f4

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

src/libcprover-cpp/api.cpp

+2
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@
1313
#include <ansi-c/ansi_c_language.h>
1414
#include <langapi/mode.h>
1515

16+
#include "options.h"
17+
1618
#include <memory>
1719
#include <string>
1820
#include <vector>

src/libcprover-cpp/api.h

+1-2
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,9 @@
1010
// Forward declaration of API dependencies
1111
class goto_modelt;
1212
class message_handlert;
13+
class api_optionst;
1314
class optionst;
1415

15-
#include "options.h"
16-
1716
// An object in the pattern of Session Facade - owning all of the memory
1817
// the API is using and being responsible for the management of that.
1918
struct api_sessiont

0 commit comments

Comments
 (0)