From 1d13dd5efd6cb2926e74d779e21b0f9f9ca696d8 Mon Sep 17 00:00:00 2001
From: Julien Freche
Date: Wed, 16 Sep 2020 17:18:37 -0700
Subject: C codegen: remove an unnecessary declaration in the header file

---
 src/jib/c_codegen.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jib/c_codegen.ml b/src/jib/c_codegen.ml
index 2e736d5b..3cf56ba4 100644
--- a/src/jib/c_codegen.ml
+++ b/src/jib/c_codegen.ml
@@ -1261,7 +1261,7 @@ let codegen_vector_header ctx id (direction, ctyp) =
   if is_stack_ctyp ctyp then
     string (Printf.sprintf "%s vector_access_%s(%s op, sail_int n);" (sgen_ctyp ctyp) (sgen_id id) (sgen_id id))
   else
-    string (Printf.sprintf "static void vector_access_%s(%s *rop, %s op, sail_int n);" (sgen_id id) (sgen_ctyp ctyp) (sgen_id id))
+    string "" (* Not needed in the header file at the moment *)
   ^^ twice hardline
 
 let codegen_vector_body ctx id (direction, ctyp) =
-- 
cgit v1.2.3