remove leftover instrumentation files

zapashcanon · May 30, 2024 · 2c88dfe · 2c88dfe
1 parent 0e51063
commit 2c88dfe
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 395 deletions.
diff --git a/src/libc/dune b/src/libc/dune
@@ -121,10 +121,3 @@
   (site
    (owi binc)))
  (files libc.wasm))
-
-(install
- (package owi)
- (section
-  (site
-   (owi pyc)))
- (files instrumentor.py))
diff --git a/src/libc/instrumentor.py b/src/libc/instrumentor.py