fnreps: MFun -> Fun in plots

michalkonecny · Sep 29, 2017 · 8c0ef1c · 8c0ef1c
1 parent 2789fbe
commit 8c0ef1c
Show file tree

Hide file tree

Showing 7 changed files with 3 additions and 3 deletions.
diff --git a/aern2-bench-chart/Main.hs b/aern2-bench-chart/Main.hs
@@ -216,7 +216,7 @@ fileOpts = def { _fo_size = (300,200) }
 reprShow :: String -> String
 reprShow "dball" = "DBFun"
 reprShow "ball" = "BFun"
-reprShow "fun" = "MFun"
+reprShow "fun" = "Fun"
 reprShow "poly" = "Poly"
 reprShow "ppoly" = "PPoly"
 reprShow "frac" = "Frac"

diff --git a/aern2-fnreps/benchresults/charts/sine+cos-integrate-time.pdf b/aern2-fnreps/benchresults/charts/sine+cos-integrate-time.pdf
diff --git a/aern2-fnreps/benchresults/charts/sine+cos-integrate-time.png b/aern2-fnreps/benchresults/charts/sine+cos-integrate-time.png
diff --git a/aern2-fnreps/benchresults/charts/sine+cos-integrate-time.svg b/aern2-fnreps/benchresults/charts/sine+cos-integrate-time.svg
diff --git a/aern2-fnreps/benchresults/charts/sine+cos-max-time.pdf b/aern2-fnreps/benchresults/charts/sine+cos-max-time.pdf
diff --git a/aern2-fnreps/benchresults/charts/sine+cos-max-time.png b/aern2-fnreps/benchresults/charts/sine+cos-max-time.png
diff --git a/aern2-fnreps/benchresults/charts/sine+cos-max-time.svg b/aern2-fnreps/benchresults/charts/sine+cos-max-time.svg