[CakeML-Dev] Something modifies astScript

[Ramana Kumar]

https://github.com/CakeML/cakeml/issues/177

On 22 November 2016 at 09:41, Yong Kiam <tanyongkiam at gmail.com> wrote:

> Hi dev,
>
> I've recently been noticing that something modifies astScript when I
> re-build the directory from scratch.
>
> yongkiam at yongkiam-ThinkPad-T460p:~/cake-overload/semantics$ git diff
> diff --git a/semantics/astScript.sml b/semantics/astScript.sml
> index 5bfbcd2..0f58e46 100644
> --- a/semantics/astScript.sml
> +++ b/semantics/astScript.sml
> @@ -8,6 +8,7 @@ val _ = numLib.prefer_num();
>
>  val _ = new_theory "ast"
>  val _ = set_grammar_ancestry ["integer", "words", "string"];
> +val _ = set_grammar_ancestry ["integer", "words", "string"];
>
>  (*open import Pervasives*)
>  (*open import Lib*)
>
> Does anyone know what is causing this (maybe it's a problem with my setup)?
>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161122/fdb3dc0f/attachment.html>