unified code style ar

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

diff --git a/ar/assignment1/src/a3.py b/ar/assignment1/src/a3.py
index 7d79135..1d7a848 100644 (file)
--- a/ar/assignment1/src/a3.py
+++ b/ar/assignment1/src/a3.py
@@ -18,11 +18,9 @@ pi = {
     12: {9, 11}
 }
 
-# Print preamble
+# Print variables and preamble
 print('(benchmark a4.smt')
 print(':logic QF_UFLIA')
-
-# Print variables
 print(':extrafuns (')
 for i in J:
     print('(j{} Int)'.format(i), end=' ')