diff --git a/docs/LangRef.html b/docs/LangRef.html index cd2d9a40697..ab0d66d96ed 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -3246,7 +3246,7 @@ code to simulators and other tools. The method is target specific, but it is expected that the marker will use exported symbols to transmit the PC of the marker. The marker makes no guarantees that it will remain with any specific instruction after optimizations. It is possible that the presence of a marker will inhibit -optimizations. The intended use is to be inserted after optmizations to allow +optimizations. The intended use is to be inserted after optimizations to allow correlations of simulation runs.