Update README.md

llee454 · Aug 11, 2018 · 8112c66 · 8112c66
1 parent f72a418
commit 8112c66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -26,7 +26,7 @@ In addition, this module includes two expression simplifiers. The first, defined
 
 Monoid_expr.v uses the first of these simplifiers to prove monoid equations and provides an intuitive notation for writing equations. The following examples demonstrate this feature for some simple equations:
 
-```
+```coq
 Let reflect_test_0
   :  (a + 0) = (0 + a)
   := reflect