From f1e1b75ef71704851d43b157f6e898f2c356684c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Wed, 17 Feb 2021 18:02:49 +0000 Subject: [PATCH] Fix more typos --- thesis.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/thesis.tex b/thesis.tex index 150e8e3..fdbb5a4 100644 --- a/thesis.tex +++ b/thesis.tex @@ -6269,11 +6269,11 @@ the new i-node. The last line returns the identifier for the i-node along with the modified file system, where the next location ($lnext$) and next i-node identifier ($inext$) have been incremented. % -It is worth noting that the effect signature of $\dec{has}$ mentions -$\Fail$ even though it will (most likely) never fail. It is present in -the effect row due to the use of $\lookup$ in the $\Then$-branch. This -application of $\lookup$ can only fail if the file system is in an -inconsistent state, where the index $ino$ has become stale. The +It is worth noting that the effect signature of $\fcreate$ mentions +$\Fail$ even though it will never fail. It is present in the effect +row due to the use of $\fopen$ and $\lookup$ in the +$\Then$-branch. Either application can only fail if the file system is +in an inconsistent state, where the index $ino$ has become stale. The $\dec{f}$-family of functions have been carefully engineered to always leave the file system in a consistent state. %