diff options
-rw-r--r-- | verified_resource_sharing.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/verified_resource_sharing.tex b/verified_resource_sharing.tex index 9470a18..4c104ba 100644 --- a/verified_resource_sharing.tex +++ b/verified_resource_sharing.tex @@ -364,7 +364,7 @@ A few points that we might want to address at some point: \item What is needed for the correctness proof? (Semantics for C, semantics for Verilog, ...) -\item We considered having multiple Verilog modules, which would be more idiomatic, but this would require more invasive changes to the semantics. +\item We considered having multiple Verilog modules; this would be more idiomatic, but this would require more invasive changes to the semantics. \end{itemize} |