diff --git a/ecole.php b/ecole.php index eb2f0c5..932aca1 100644 --- a/ecole.php +++ b/ecole.php @@ -125,6 +125,7 @@