Re-encode as utf8, so open() in python 3 doesn't reject it.

plum-umd · Apr 29, 2019 · ba1d5c4 · ba1d5c4
1 parent 88c6c87
commit ba1d5c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/axioms/benchmarks/HashMap2/HashTable.java b/test/axioms/benchmarks/HashMap2/HashTable.java
@@ -1,7 +1,7 @@
 package Interfaing;
 
 public interface HashTable<K, V> {
-	// put keyvalue pair into the table
+	// put keyvalue pair into the table
 	public void put(K key, V value);
 
 	// get value paired with key, return null if