From 2afc5374a627187fc35a8a9ebef4c8300caa472d Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Tue, 23 Jan 2024 01:21:49 +0100 Subject: [PATCH] remove another leftover module --- src/dune | 1 - src/runtime_intf.ml | 21 --------------------- 2 files changed, 22 deletions(-) delete mode 100644 src/runtime_intf.ml diff --git a/src/dune b/src/dune index 5b2c2655f..43f957c95 100644 --- a/src/dune +++ b/src/dune @@ -45,7 +45,6 @@ result rewrite runtime - runtime_intf script simplified simplified_types diff --git a/src/runtime_intf.ml b/src/runtime_intf.ml deleted file mode 100644 index 2e0e5b0d4..000000000 --- a/src/runtime_intf.ml +++ /dev/null @@ -1,21 +0,0 @@ -(* SPDX-License-Identifier: AGPL-3.0-or-later *) -(* Copyright © 2021 Léo Andrès *) -(* Copyright © 2021 Pierre Chambart *) - -module type Env = sig - type t - - type memory - - type func - - type table - - type elem - - type data - - type global - - module Value : Value_intf.T -end