From e32dfad81e7fc14816c034d1a527975d0cc97138 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Sat, 19 May 2018 11:16:20 +0200
Subject: [PATCH] Add comments

---
 examples/python/parallel.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/examples/python/parallel.py b/examples/python/parallel.py
index 7903f58c9..42ff50927 100644
--- a/examples/python/parallel.py
+++ b/examples/python/parallel.py
@@ -13,7 +13,10 @@ def calculate(x, n, ctx):
     assert x.ctx == ctx
     assert x.ctx != main_ctx()
 
+    # Parallel creation of z3 object
     condition = And(x < 2, x > n, ctx)
+
+    # Parallel solving
     solver = Solver(ctx=ctx)
     solver.add(condition)
     solver.check()