forked from GitHub/gf-rgl
remove unnecessary noMerge
This commit is contained in:
@@ -29,7 +29,7 @@ concrete QuestionDut of Question = CatDut ** open ResDut in {
|
|||||||
s = \\t,a,p =>
|
s = \\t,a,p =>
|
||||||
let
|
let
|
||||||
cls = slash.s ! t ! a ! p ;
|
cls = slash.s ! t ! a ! p ;
|
||||||
who = appPrep slash.c2 (noMerge ** ip)
|
who = appPrep slash.c2 ip
|
||||||
in table {
|
in table {
|
||||||
QDir => who ++ cls ! Inv ;
|
QDir => who ++ cls ! Inv ;
|
||||||
QIndir => who ++ cls ! Sub
|
QIndir => who ++ cls ! Sub
|
||||||
|
|||||||
Reference in New Issue
Block a user