From 7f871ec89a40eeb1fa839a98d37d85d38bace27a Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 22 May 2017 12:26:02 +0200
Subject: [PATCH] Add "Reactive Synthesis" as TBD to documentation

---
 docs/source/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/source/index.rst b/docs/source/index.rst
index ec6d8f6..30fd5f1 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -11,6 +11,7 @@ formal tasks:
    * Generation of test benches from cover statements
    * Verification of liveness properties
    * Formal equivalence checking [TBD]
+   * Reactive Synthesis [TBD]
 
 (Items marked [TBD] are features under construction and not available
 at the moment.)