diff --git a/website_code/php/properties/lti_update.php b/website_code/php/properties/lti_update.php
index b0e88d20d..cc24cf27f 100644
--- a/website_code/php/properties/lti_update.php
+++ b/website_code/php/properties/lti_update.php
@@ -3,6 +3,7 @@
 require_once("../../../config.php");
 require_once "properties_library.php";
 require_once("../template_status.php");
+require_once "../user_library.php";
 
 
 global $xerte_toolkits_site;