Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@BrunoDutertre
BrunoDutertre committed Feb 3, 2017
1 parent 885d361 commit 473d649
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/sphinx/source/misc-operations.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ pretty printing. Initially, the base name is :c:macro:`NULL`. It is set on the
first call to :c:func:`yices_set_term_name` or
:c:func:`yices_set_type_name`.

In addition, Yices maintains two symbol tables that maps names to
In addition, Yices maintains two symbol tables that map names to
terms and names to types, respectively. The name spaces for types and
terms are disjoint. The term or type to which a name refers can be
changed, and Yices provides a scoping mechanism:
Expand Down

0 comments on commit 473d649

Please sign in to comment.