From f41625ceb3c8ef20b3944f7a3720b0f622271ab6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Mon, 4 Nov 2019 18:39:56 +0000 Subject: [PATCH] Rename 4-typer to 4-typer-old (part 1: move files) --- src/passes/{4-typer => 4-typer-old}/dune | 0 src/passes/{4-typer => 4-typer-old}/typer.ml | 0 src/passes/{4-typer => 4-typer-old}/typer.mli | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename src/passes/{4-typer => 4-typer-old}/dune (100%) rename src/passes/{4-typer => 4-typer-old}/typer.ml (100%) rename src/passes/{4-typer => 4-typer-old}/typer.mli (100%) diff --git a/src/passes/4-typer/dune b/src/passes/4-typer-old/dune similarity index 100% rename from src/passes/4-typer/dune rename to src/passes/4-typer-old/dune diff --git a/src/passes/4-typer/typer.ml b/src/passes/4-typer-old/typer.ml similarity index 100% rename from src/passes/4-typer/typer.ml rename to src/passes/4-typer-old/typer.ml diff --git a/src/passes/4-typer/typer.mli b/src/passes/4-typer-old/typer.mli similarity index 100% rename from src/passes/4-typer/typer.mli rename to src/passes/4-typer-old/typer.mli