Fix typo in reflection test
I'm not sure how this ever worked properly, but it's certainly okay
now...!
commit97805c4327e4c1f3d5991684fbfbf7d5c69c630d
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 19 Jul 2017, 17:37 (9 years ago)
parent9fb9d7f
test/proof002/Reflect.idr+1−1
@@ -10,7 +10,7 @@ using (xs : List a, ys : List a, G : List (List a))
1010
1111 data Elem : a -> List a -> Type where
1212 Stop : Elem x (x :: xs)
13− Pop : Elem x ys -> Elem x (y :: xs)
13+ Pop : Elem x ys -> Elem x (y :: ys)
1414
1515-- Expr is a reflection of a list, indexed over the concrete list,
1616-- and over a set of list variables.