Skip to content
Snippets Groups Projects
Commit 8b6c4d3f authored by Michael White's avatar Michael White
Browse files

Merge pull request #6 from kilida/patch-1

Duplicate subexpression in Slash.java
parents 3ab997cd 6679cc50
No related branches found
No related tags found
No related merge requests found
......@@ -391,7 +391,7 @@ public final class Slash implements Unifiable, Mutable, Serializable {
sb.append(sup).append("{").append("+").append("} ");
if (_ability == INERT)
sb.append(sup).append("{").append("-").append("} ");
if ((modTeX != "") && ((_ability == ACTIVE) || (_ability == ACTIVE))) {
if ((modTeX != "") && (_ability == ACTIVE)) {
if ((_dir == R))
sb.append("\\hspace{-1.45mm} ");
else if (_dir == L)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment