diff options
| author | Julien Freche | 2020-09-16 17:18:37 -0700 |
|---|---|---|
| committer | Julien Freche | 2020-09-16 17:52:48 -0700 |
| commit | 1d13dd5efd6cb2926e74d779e21b0f9f9ca696d8 (patch) | |
| tree | 1b7b99be273e8f297878aea49f753ffcde4f7440 | |
| parent | f1cf2c07f6d3bc041fba8f0d048b32d642837815 (diff) | |
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) = |