<div dir="ltr"><div><div>Hi dev,<br><br></div>I've recently been noticing that something modifies astScript when I re-build the directory from scratch.<br><br>yongkiam@yongkiam-ThinkPad-T460p:~/cake-overload/semantics$ git diff<br>diff --git a/semantics/astScript.sml b/semantics/astScript.sml<br>index 5bfbcd2..0f58e46 100644<br>--- a/semantics/astScript.sml<br>+++ b/semantics/astScript.sml<br>@@ -8,6 +8,7 @@ val _ = numLib.prefer_num();<br> <br> val _ = new_theory "ast"<br> val _ = set_grammar_ancestry ["integer", "words", "string"];<br>+val _ = set_grammar_ancestry ["integer", "words", "string"];<br> <br> (*open import Pervasives*)<br> (*open import Lib*)<br><br></div>Does anyone know what is causing this (maybe it's a problem with my setup)?<br></div>