Injective goPathToCoqPath

upamanyus · Mar 28, 2024 · 48da455 · 48da455
1 parent 7cbaef3
commit 48da455
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/internal/glang/coq.go b/internal/glang/coq.go
@@ -1083,7 +1083,7 @@ type ImportDecl struct {
 func goPathToCoqPath(p string) string {
 	p = strings.ReplaceAll(p, "_", "__")
 	p = strings.ReplaceAll(p, ".", "_dot_")
-	p = strings.ReplaceAll(p, "-", "_")
+	p = strings.ReplaceAll(p, "-", "_dash_")
 	return p
 }