Permalink
Browse files

Nitpick.

  • Loading branch information...
1 parent ab59617 commit a14bea0c381fe6f9113ac20b403d912ec60eb11d @jlouis committed May 23, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 Janus1.v
View
@@ -165,7 +165,7 @@ Section Janus1.
End Expr.
- (** * The statement language *)
+ (** * The Statement language *)
Section Stmt.

0 comments on commit a14bea0

Please sign in to comment.