trim trailing whitespace

SMT-COMP · May 22, 2024 · 5f7a036 · 5f7a036
1 parent 40bb385
commit 5f7a036
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/submissions/smtinterpol b/submissions/smtinterpol
@@ -1,9 +1,9 @@
 {
     "name": "SMTInterpol",
     "contributors": [
-        "Jürgen Christ", "Daniel Dietsch", "Leonard Fichtner", 
-        "Joanna Greulich", "Elisabeth Henkel", "Matthias Heizmann", 
-        "Jochen Hoenicke", "Moritz Mohr", "Alexander Nutz", 
+        "Jürgen Christ", "Daniel Dietsch", "Leonard Fichtner",
+        "Joanna Greulich", "Elisabeth Henkel", "Matthias Heizmann",
+        "Jochen Hoenicke", "Moritz Mohr", "Alexander Nutz",
         "Markus Pomrehn", "Pascal Raiola", "Tanja Schindler"
     ],
     "contacts": ["Jochen Hoenicke <[email protected]>"],