1 files changed, 1 insertions, 1 deletions

diff --git a/modexp.c b/modexp.c
index 5c72f36..7a804bb 100644
--- a/modexp.c
+++ b/modexp.c
@@ -45,7 +45,7 @@
 #include <string.h>
 #include <assert.h>
 
-#include "cryptech.h"
+#include "hal.h"
 
 /*
  * Whether we want debug output.