Make bibtool happy

oscar-system · Jul 20, 2023 · 6a12d51 · 6a12d51
1 parent 27137c7
commit 6a12d51
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/oscar_references.bib b/docs/oscar_references.bib
@@ -94,7 +94,7 @@ @InProceedings{BES-E-D21
   series        = {ISSAC '21},
   address       = {New York, NY, USA},
   publisher     = {Association for Computing Machinery},
-  pages         = {51-–58},
+  pages         = {51--58},
   year          = {2021},
   doi           = {10.1145/3452143.3465545},
   url           = {https://doi.org/10.1145/3452143.3465545},
@@ -654,7 +654,7 @@ @Article{FJR17
   volume        = {22},
   number        = {1},
   publisher     = {Mathematical Sciences Publishers},
-  pages         = {235–303},
+  pages         = {235-303},
   year          = {2017},
   month         = {Oct},
   doi           = {10.2140/gt.2018.22.235},