Skip to content

Commit

Permalink
removed spurious backslash
Browse files Browse the repository at this point in the history
  • Loading branch information
tpressburger authored and anmavrid committed Aug 28, 2023
1 parent f4bdf09 commit 15fd47d
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ using the operators
* **|** (or)
* **=>** or **->** (implies)
* **<=>** or **<->** (equivalence, biconditional)
* **xor** (exclusive OR)\
* **xor** (exclusive OR)

Boolean or numerical variables correspond to signals or variables in the
component.
Expand Down

0 comments on commit 15fd47d

Please sign in to comment.