fix a typo in compatibility.v

8060a3d5 · Paul · 97a48702 · 8060a3d5 · 8060a3d5
Commit 8060a3d5 authored Oct 10, 2020 by Paul
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

exercises/compatibility.v exercises/compatibility.v +1 -1

solutions/compatibility.v solutions/compatibility.v +1 -1

No files found.
--- a/exercises/compatibility.v
+++ b/exercises/compatibility.v
@@ -18,7 +18,7 @@ is replaced semantic typing judgment in syntactic typing rules. For instance
 becomes:

 <<
-  (Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ ⊢ (e1, e2) : A1 * A2
+  (Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ ⊨ (e1, e2) : A1 * A2
 >>
 *)


--- a/solutions/compatibility.v
+++ b/solutions/compatibility.v
@@ -18,7 +18,7 @@ is replaced semantic typing judgment in syntactic typing rules. For instance
 becomes:

 <<
-  (Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ ⊢ (e1, e2) : A1 * A2
+  (Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ ⊨ (e1, e2) : A1 * A2
 >>
 *)