From ae610f94afee5480567d3a397d5158b99b6ebfb4 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Wed, 6 May 2020 22:02:09 +0200 Subject: [PATCH] Fix typo "leval" -> "legal" --- chapters/classes.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/classes.tex b/chapters/classes.tex index 5c08ce422..d26725058 100644 --- a/chapters/classes.tex +++ b/chapters/classes.tex @@ -1042,7 +1042,7 @@ \section{Balanced Models}\doublelabel{balanced-models} values of constants and parameters. \begin{nonnormative} -Here, \emph{leval values} must respect final bindings and min/max-restrictions. A tool shall verify the \emph{locally balanced} property for the actual +Here, \emph{legal values} must respect final bindings and min/max-restrictions. A tool shall verify the \emph{locally balanced} property for the actual values of parameters and constants in the simulation model. It is a quality of implementation for a tool to verify this property in general, due to arrays of (locally) undefined sizes, conditional declarations, for loops etc. \end{nonnormative}