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.

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

(limited to 'csprng.c')

diff --git a/csprng.c b/csprng.c
index 31a59d9..c6ae4e1 100644
--- a/csprng.c
+++ b/csprng.c
@@ -37,7 +37,7 @@
 #include <stdint.h>
 
 #include "hal.h"
-#include "verilog_constants.h"
+#include "hal_internal.h"
 
 #ifndef WAIT_FOR_CSPRNG_VALID
 #define WAIT_FOR_CSPRNG_VALID   1
-- 
cgit v1.2.3