Skip to content

Commit

Permalink
tidy up
Browse files Browse the repository at this point in the history
  • Loading branch information
@yann-sjtu
yann-sjtu committed Sep 4, 2024
1 parent 41a226f commit 7399eb9
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 4 deletions.
2 changes: 0 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -45,8 +45,6 @@ else
CXXFLAGS += -O3
endif

PROVER_FORK_ID=10

ifdef PROVER_FORK_ID
CXXFLAGS += -DPROVER_FORK_ID=$(PROVER_FORK_ID)
endif
Expand Down
4 changes: 2 additions & 2 deletions src/config/definitions.hpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -82,8 +82,8 @@
#define DATABASE_USE_CACHE // If defined, the Database class uses a cache
#define USE_NEW_KVTREE

//#define MAIN_SM_EXECUTOR_GENERATED_CODE
//#define MAIN_SM_PROVER_GENERATED_CODE
#define MAIN_SM_EXECUTOR_GENERATED_CODE
#define MAIN_SM_PROVER_GENERATED_CODE

#define LOAD_CONST_FILES false

Expand Down

0 comments on commit 7399eb9

Please sign in to comment.