diff --git a/.gitmodules b/.gitmodules index 1f14d08..4497523 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "stmlib"] path = stmlib - url = https://github.com/jhbruhn/stmlib.git + url = https://github.com/jhbruhn/stmlib.git [submodule "avrlib"] path = avrlib - url = https://github.com/pichenettes/avril.git + url = https://github.com/jhbruhn/avril.git diff --git a/avrlib b/avrlib index 276b288..fe60004 160000 --- a/avrlib +++ b/avrlib @@ -1 +1 @@ -Subproject commit 276b2887e4110ca913294fcbb313163dfb28a448 +Subproject commit fe600046c45f2479c4978a263dc45e772e760875