From 874d087d16812dba7ac695338de79e2193a9df5a Mon Sep 17 00:00:00 2001
From: fhackett <fhackett.py@gmail.com>
Date: Mon, 1 Apr 2024 12:47:09 -0700
Subject: [PATCH] add .metals to .gitignore;  fix wrong go.mod header

---
 .gitignore            | 2 ++
 systems/dqueue/go.mod | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 1d39af4d..1110c3b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -393,3 +393,5 @@ test/files/**/*.txt
 
 # TLA+ translation files
 *.old
+
+.metals/
diff --git a/systems/dqueue/go.mod b/systems/dqueue/go.mod
index d6efdb55..34899e9b 100644
--- a/systems/dqueue/go.mod
+++ b/systems/dqueue/go.mod
@@ -1,4 +1,4 @@
-module github.com/DistCompiler/pgo/systems/raftkvs
+module github.com/DistCompiler/pgo/systems/dqueue
 
 go 1.18