diff options
| author | Alasdair Armstrong | 2020-09-24 16:22:54 +0100 |
|---|---|---|
| committer | GitHub | 2020-09-24 16:22:54 +0100 |
| commit | 7ead8e00d256011f1b3be5d84c641dae3432e8e4 (patch) | |
| tree | 6f1595feee3e9fdf52d3a4abd3aefa5caf4f7617 | |
| parent | 8c74d34ada29c55a34eab041354ba003c0811840 (diff) | |
| parent | 1d13dd5efd6cb2926e74d779e21b0f9f9ca696d8 (diff) | |
Merge pull request #91 from julienfreche/remove_extra_static
C codegen: remove an unnecessary declaration in the header file
| -rw-r--r-- | src/jib/c_codegen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) = |