From a1e4e4fe7331338ece1a6d3ba01862a35a22f4ae Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Wed, 23 Dec 2015 21:35:28 -0500
Subject: RPC interface to TRNG and (incomplete) PIN code.

---
 core.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'core.c')

diff --git a/core.c b/core.c
index 44cf3f0..b7bf3b0 100644
--- a/core.c
+++ b/core.c
@@ -39,7 +39,7 @@
 #include <string.h>
 
 #include "hal.h"
-#include "verilog_constants.h"
+#include "hal_internal.h"
 
 /*
  * Each Cryptech core has a set of 4-byte registers, which are accessed
-- 
cgit v1.2.3