Merge branch 'develop' into feature/gpu-port

2025-06-17 23:37:06 +01:00 · 2018-12-13 05:11:34 +00:00
parent adbdc4e65b c509bd3fe2
commit b57a4d32aa
647 changed files with 49155 additions and 11160 deletions
--- a/tests/core/Test_main.cc
+++ b/tests/core/Test_main.cc
@ -392,7 +392,6 @@ int main(int argc, char **argv) {
      }
      random(Foo);
      */
-      lex_sites(Foo);

      Integer mm[4];
      mm[0] = 1;