that's the correct one

egri-nagy · Sep 29, 2023 · bc764fa · bc764fa
1 parent e40502b
commit bc764fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/experiments/TRANSDUCERS/automata.clj b/experiments/TRANSDUCERS/automata.clj
@@ -195,4 +195,4 @@
      table
      pairs)))
 
-(equivalence-classes (minimize (transducer HU)))
+(equivalence-classes (minimize HU))