[ fix ] Removed two files that were included accidentally

agda · Oct 28, 2015 · a8b6097 · a8b6097
1 parent 3539170
commit a8b6097
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 86 deletions.
diff --git a/src/full/Agda/TypeChecking/DefinitionalEquality.agda b/src/full/Agda/TypeChecking/DefinitionalEquality.agda
diff --git a/src/full/Agda/TypeChecking/DefinitionalEquality.hs b/src/full/Agda/TypeChecking/DefinitionalEquality.hs