From d610b192f5c9b89e1c36477393ef2361902d0cb5 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Thu, 19 Nov 2020 08:24:01 +0100
Subject: [PATCH] Use \vspace instead of \vspace* in 'synopsis' environment

I don't see any reason why the starred form was introduced in the first place, so it's probably better to go with the more intelligent form.
---
 preamble.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/preamble.tex b/preamble.tex
index 2af82fde5..68dd1abf8 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -250,7 +250,7 @@
 
 \newenvironment{synopsis}[1][modelica]{%
 \lstset{language=[synopsis]#1}%
-~\vspace*{-\parskip}\par
+~\vspace{-\parskip}\par
 }{%
 }
 \newenvironment{semantics}{%