add .metals to .gitignore; fix wrong go.mod header

DistCompiler · Apr 1, 2024 · 874d087 · 874d087
1 parent 7594aa7
commit 874d087
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -1,4 +1,4 @@
-module github.com/DistCompiler/pgo/systems/raftkvs
+module github.com/DistCompiler/pgo/systems/dqueue
 
 go 1.18
Original file line number	Diff line number	Diff line change
Expand Up		@@ -393,3 +393,5 @@ test/files/*/.txt

		# TLA+ translation files
		*.old

		.metals/