Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Cleaned up random statement variable name assignment.

  • Loading branch information...
commit 87617ce2d573070c7ab3f7a9effedadae4176140 1 parent f806167
@rodolphe rodolphe authored
Showing with 1 addition and 2 deletions.
  1. +1 −2  exercises/modus_ponens.html
View
3  exercises/modus_ponens.html
@@ -8,8 +8,7 @@
<div class="exercise">
<div class="vars">
<div data-ensure="S1 !== S2">
- <var id="S1">["A","B","P","Q","Y","Z"][randRange(0,2)]</var>
- <var id="S2">["A","B","P","Q","Y","Z"][randRange(0,2)]</var>
+ <var id="S1, S2">shuffle(["A","B","P","Q","Y","Z"], 2)</var>
</div>
<var id="MAJOR"><code><var>S1</var> \to <var>S2</var></code></var>
<var id="MINOR"><code><var>S1</var></code></var>
Please sign in to comment.
Something went wrong with that request. Please try again.