Commit 60a10ef8 authored by Jerome Hugues's avatar Jerome Hugues

* Correct documentation for add_real_library

parent 6864e420
......@@ -88,7 +88,7 @@ def set_real_theorem (theorem_name):
def add_real_library (libraryname):
:param libraryname: name of the theorem
:param libraryname: name of the REAL library file to include
:type libraryname: string
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment