added a missing case to mkQCl in the API

2020-01-16 17:39:45 +01:00
parent 00d5bb85d1
commit 0e2fdd3a73
2 changed files with 5 additions and 0 deletions
--- a/src/api/Constructors.gf
+++ b/src/api/Constructors.gf
@@ -1180,6 +1180,8 @@ incomplete resource Constructors = open Grammar in {  --%
      = \a,p -> TUseQCl TPres a p ; --%
      mkQS : (Tense) -> (Ant) -> (Pol) -> QCl -> QS -- who wouldn't have slept
      = TUseQCl ; --%
+      mkQS : Temp -> Pol -> QCl -> QS -- who wouldn't have slept  --%
+      = UseQCl ; --%

 -- Since 'yes-no' question clauses can be built from clauses (see below),
 -- we give a shortcut