Typo fix

d1c52cff · Adam Chlipala · dfc61f6f · d1c52cff
Commit d1c52cff authored Oct 16, 2011 by Adam Chlipala
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Subset.v src/Subset.v +1 -1

No files found.
--- a/src/Subset.v
+++ b/src/Subset.v
@@ -407,7 +407,7 @@ Eval compute in eq_nat_dec 2 2.
 Eval compute in eq_nat_dec 2 3.
 (** %\vspace{-.15in}% [[
     = No
-     : {2 = 2} + {2 <> 2}
+     : {2 = 3} + {2 <> 3}
     ]]
     *)