Merge remote-tracking branch 'origin/master' into sums

hazelgrove · Oct 31, 2016 · dffdb45 · dffdb45
2 parents 32cf848 + a0f4fbc
commit dffdb45
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/core.agda b/core.agda
@@ -359,7 +359,6 @@ module core where
     var   : Nat → shape
     lam   : Nat → shape
     ap    : shape
-    arg   : shape
     numlit : Nat → shape
     plus  : shape
     nehole : shape