clean up function (#57)

GiggleLiu · Aug 5, 2024 · 86377aa · 86377aa
1 parent 7beffd5
commit 86377aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rules/sat_coloring.jl b/src/rules/sat_coloring.jl
@@ -59,7 +59,7 @@ end
 true_vertex(sc::SATColoringConstructor) = 1
 false_vertex(sc::SATColoringConstructor) = 2
 ancilla_vertex(sc::SATColoringConstructor) = 3
-function set_true!(sc::SATColoringConstructor, idx::Int) where T
+function set_true!(sc::SATColoringConstructor, idx::Int) 
     attach_to_ancilla!(sc, idx)
     attach_to_false!(sc, idx)
 end