diff --git a/prism/src/pta/DigitalClocks.java b/prism/src/pta/DigitalClocks.java
index 3ebdefc7..87f98a88 100644
--- a/prism/src/pta/DigitalClocks.java
+++ b/prism/src/pta/DigitalClocks.java
@@ -337,7 +337,7 @@ public class DigitalClocks
 					}
 				}
 			};
-			modulesFile.accept(astt);
+			ast.accept(astt);
 		} catch (PrismLangException e) {
 			return e.getASTElement();
 		}