final ar

[master.git] / ar / assignment1 / src / a2.py

diff --git a/ar/assignment1/src/a2.py b/ar/assignment1/src/a2.py
index 529f6b8..a782fe7 100644 (file)
--- a/ar/assignment1/src/a2.py
+++ b/ar/assignment1/src/a2.py
@@ -5,7 +5,6 @@ mx = 29
 my = 22
 pd = 17
 
-
 # Print variables and preamble
 print('(benchmark a4.smt')
 print(':logic QF_UFLIA')