aboutsummaryrefslogtreecommitdiff
path: root/CODE_STYLE.md
diff options
context:
space:
mode:
Diffstat (limited to 'CODE_STYLE.md')
-rw-r--r--CODE_STYLE.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/CODE_STYLE.md b/CODE_STYLE.md
index 4463e3a..f4eef22 100644
--- a/CODE_STYLE.md
+++ b/CODE_STYLE.md
@@ -6,7 +6,7 @@ RISC-V Sail model.
Where something is not specified, please look for existing code similar to what
is being added and copy the predominant style.
-For C and OCaml, the formatting rules should be followed where applicable.
+For C the formatting rules should be followed where applicable.
For other languages, follow the standard style for that language if it exists;
for example, Python should follow the standard PEP-8 style.
@@ -86,7 +86,7 @@ Implementation
* Do not use strings for anything that is not text
* No new compile-time warnings from the Sail compiler should be introduced
- (this does not include C or OCaml warnings for the code generated by the Sail
+ (this does not include C warnings for the code generated by the Sail
compiler)
* Do not use the `ext*` types and hooks for standard extensions unless