diff options
| -rw-r--r-- | docs/DriverInternals.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/DriverInternals.html b/docs/DriverInternals.html index 4f5f0ae112..380de9909a 100644 --- a/docs/DriverInternals.html +++ b/docs/DriverInternals.html @@ -405,7 +405,7 @@ to each compilation sequence. For example, the list of used temporary files (which must be removed once compilation is finished) and result files (which should be removed if - compilation files).</p> + compilation fails).</p> <h4 id="int_unified_parsing">Unified Parsing & Pipelining</h4> |