From 65d23fb6676c73aad5817941c94d75573b6e4d10 Mon Sep 17 00:00:00 2001
From: Aaron Fenyes <fenyes@ihes.fr>
Date: Tue, 30 Jan 2024 02:49:33 -0500
Subject: [PATCH] Use module names as filenames

You're right: this naming convention seems to be standard for Julia
modules now.
---
 engine-proto/{engine.jl => Engine.jl}          | 2 +-
 engine-proto/{hitting-set.jl => HittingSet.jl} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename engine-proto/{engine.jl => Engine.jl} (99%)
 rename engine-proto/{hitting-set.jl => HittingSet.jl} (100%)

diff --git a/engine-proto/engine.jl b/engine-proto/Engine.jl
similarity index 99%
rename from engine-proto/engine.jl
rename to engine-proto/Engine.jl
index 6d3636d..a632581 100644
--- a/engine-proto/engine.jl
+++ b/engine-proto/Engine.jl
@@ -1,4 +1,4 @@
-include("hitting-set.jl")
+include("HittingSet.jl")
 
 module Engine
 
diff --git a/engine-proto/hitting-set.jl b/engine-proto/HittingSet.jl
similarity index 100%
rename from engine-proto/hitting-set.jl
rename to engine-proto/HittingSet.jl