cleanup

lf-lang · Feb 20, 2024 · 8d0e96e · 8d0e96e
1 parent 28808d0
commit 8d0e96e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/C/Savina/src/concurrency/BoundedBuffer.lf b/C/Savina/src/concurrency/BoundedBuffer.lf
@@ -36,7 +36,6 @@
             "../include/benchmark_runner.h",
             "../include/PseudoRandom.h"],
     cmake-include: ["../include/deque.cmake"], 
-    compiler-flags: "-lm",
     logging: "warn",
     fast: true
 };

diff --git a/C/Savina/src/parallelism/PiPrecision.lf b/C/Savina/src/parallelism/PiPrecision.lf
@@ -41,10 +41,6 @@ preamble {=
 
 reactor Manager(numWorkers:size_t=20, scale:uint32_t={=5000ul=}) {
 
-    // preamble {=
-    //     #include "gmp.h"
-    // =}
-
     state result:mpf_t;
     state tolerance:mpf_t;
     state termsRequested:uint32_t={=0ul=};
@@ -171,7 +167,6 @@ reactor Worker {
 
     preamble {=
 
-        // #include "gmp.h"
         void calculateBbpTerm(mpf_t result, uint32_t k) {
 
             uint32_t eightK = 8ul * k;