patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Fixed typo in comment.

Browse Source
This commit is contained in:
Patrick Lühne 2017-03-29 23:18:59 +02:00
parent d0cbdb13e5
commit dbb106c40b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/anthem/Simplification.cpp
View File

@ -12,7 +12,7 @@ namespace anthem
////////////////////////////////////////////////////////////////////////////////////////////////////
// Determins whether a term is primitive
// All terms but binary operations and interval are primitive
// All terms but binary operations and intervals are primitive
// With primitive terms t, “X in t” and “X = t” are equivalent
bool isPrimitiveTerm(const ast::Term &term)
{