server/src/app/Repositories/RdfDocumentRepository.php
changeset 314 f5690d918358
parent 306 3fccf43160a7
child 326 226d5b17a119
--- a/server/src/app/Repositories/RdfDocumentRepository.php	Sun Oct 02 19:11:06 2016 +0200
+++ b/server/src/app/Repositories/RdfDocumentRepository.php	Sun Oct 02 19:14:07 2016 +0200
@@ -178,7 +178,7 @@
         return $this->queryDocs();
     }
 
-    public function get($id, bool $short=false) {
+    public function get($id, $short=false) {
 
         if(strpos($id, config('corpusparole.corpus_id_scheme')) === 0) {
             $id = substr($id, strlen(config('corpusparole.corpus_id_scheme')));