dummy param

groupoid · Oct 28, 2017 · e2fbc18 · e2fbc18
1 parent 098cfd0
commit e2fbc18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/priv/normal/Sigma/test.snd b/priv/normal/Sigma/test.snd
@@ -1,6 +1,6 @@
 -- Sigma/test.snd
 #Sigma/snd #Nat/@
            (\(n: #Nat/@) -> #List/@ #Nat/@)
-           #Sigma/test.fst
+           #Nat/Zero
            #Sigma/test