1
0
forked from GitHub/gf-rgl

(Som) Rename some parameters to begin with capital letter

This commit is contained in:
Inari Listenmaa
2019-07-01 10:44:37 +02:00
parent 0e52ffbb6a
commit 8115b26947
4 changed files with 51 additions and 53 deletions
+1 -1
View File
@@ -96,7 +96,7 @@ lin
-- : VP -> Prep -> VPSlash ; -- live in (it)
-- NB. We need possibly a MissingArg kind of solution here too
-- VPSlashPrep vp prep = vp **
-- { c2 = case vp.c2 of { noPrep => prep.prep ;
-- { c2 = case vp.c2 of { NoPrep => prep.prep ;
-- x => x }} ;