fix for proofs-enabled builds

diff --git a/src/proof/proof.h b/src/proof/proof.h
index 39cf2b5bf37acdfe747cb54ff189fa7311df9abc..4b76d70ae53322112d031bb57feab5cfb4e91689 100644 (file)
--- a/src/proof/proof.h
+++ b/src/proof/proof.h
@@ -19,7 +19,7 @@
 #ifndef __CVC4__PROOF__PROOF_H
 #define __CVC4__PROOF__PROOF_H
 
-#include "options/options.h"
+#include "proof/options.h"
 
 #ifdef CVC4_PROOF
 #  define PROOF(x) if(options::proof()) { x; }