From f781ce3604e11c2475e59e8f412746f9cc0067de Mon Sep 17 00:00:00 2001
From: Nathan <nbanmp@gmail.com>
Date: Tue, 17 Sep 2019 10:11:15 -0400
Subject: [PATCH] Add user supplied assertions module to documentation

---
 docs/source/module-list.rst | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/source/module-list.rst b/docs/source/module-list.rst
index 11c40d02..101ff94f 100644
--- a/docs/source/module-list.rst
+++ b/docs/source/module-list.rst
@@ -67,3 +67,9 @@ Unchecked Retval
 ****************
 
 The `unchecked retval module <https://github.com/ConsenSys/mythril/blob/develop/mythril/analysis/modules/unchecked_retval.py>`_ detects `SWC-104 (Unchecked Call Return Value) <https://smartcontractsecurity.github.io/SWC-registry/docs/SWC-104>`_.
+
+****************
+Unchecked Retval
+****************
+
+The `user supplied assertion module <https://github.com/ConsenSys/mythril/blob/develop/mythril/analysis/modules/unchecked_retval.py>`_ detects `SWC-110 (Assert Violation) <https://smartcontractsecurity.github.io/SWC-registry/docs/SWC-110>`_ for user-supplied assertions. User supplied assertions should be log messages of the form: :code:`emit AssertionFailed(string)`.