1 files changed, 1 insertions, 1 deletions

diff --git a/param.ccl b/param.ccl
index b119d8a..841ad94 100644
--- a/param.ccl
+++ b/param.ccl
@@ -20,4 +20,4 @@ EXTENDS KEYWORD initial_data
 
 shares: IO
 
-USES STRING filereader_ID_files
+USES STRING filereader_ID_vars