fixed bug in sat chapter tex file

2 months ago · 83d8c2fd93
1 changed files with 0 additions and 1 deletions
--- a/3_sat_solvers_dpll/sat_solvers_dpll.tex
+++ b/3_sat_solvers_dpll/sat_solvers_dpll.tex
@ -8,7 +8,6 @@
         {3cm}
 \question{3_sat_solvers_dpll/1030.tex}
         {3_sat_solvers_dpll/1030_sol.tex}
-         {no_solution}
         {3cm}

 \subsubsection{Normal Forms}