github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Code Issues Projects Releases Wiki Activity

Remove the explicit conformance to TermType.

Browse Source
This commit is contained in:
Rob Rix 2015-10-22 10:21:29 -04:00
parent c75b36512c
commit b3fea32706
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
prototype/Doubt/TermType.swift
View File

@ -40,9 +40,6 @@ extension TermType {
}
extension Cofree: TermType {}
// MARK: - Equality
extension TermType {