From 172bd1303758d4dbad0f46a62bdf3075672ce0da Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Wed, 28 Aug 2024 20:57:35 +0300
Subject: [PATCH] Removed autogenerating files

---
 src/stdpath.ml | 1 -
 src/version.ml | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 src/stdpath.ml
 delete mode 100644 src/version.ml

diff --git a/src/stdpath.ml b/src/stdpath.ml
deleted file mode 100644
index 3ee6c2ed0..000000000
--- a/src/stdpath.ml
+++ /dev/null
@@ -1 +0,0 @@
-let path = "/home/db/.opam/lama/share/Lama"
diff --git a/src/version.ml b/src/version.ml
deleted file mode 100644
index 8e3642712..000000000
--- a/src/version.ml
+++ /dev/null
@@ -1 +0,0 @@
-let version = "Version 1.30, 983419418, Thu Mar 30 21:10:20 2023 +0300"