Split side-effect warning into multiple lines

UPPAALModelChecker · Apr 16, 2024 · d9016a4 · d9016a4
1 parent c6a7359
commit d9016a4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/language-reference/system-description/declarations/external-functions.md b/content/language-reference/system-description/declarations/external-functions.md
@@ -13,8 +13,8 @@ The external functions are supported since Uppaal Stratego version 4.1.20-7, or
 {{% /notice %}}
 
 {{% notice warning %}}
-  The external function calls must be ***deterministic***: for any argument values, the function should produce the same result at any time when called with the same values.
-  For example, *side-effect-free* (or *free*) functions, which do not depend on [`static`](https://en.wikipedia.org/wiki/Static_variable) variables, are ***deterministic***. 
+  The external function calls must be ***deterministic***: for any argument values, the function should produce the same result at any time when called with the same values.<br>
+  For example, *side-effect-free* (or *free*) functions, which do not depend on [`static`](https://en.wikipedia.org/wiki/Static_variable) variables, are ***deterministic***.<br>
   [Memoization](https://en.wikipedia.org/wiki/Memoization) is allowed.
 {{% /notice %}}