OpTerm Refactor: Allow retrieving OpTerm used to create Term in public C++ API (...

[cvc5.git] / src / preprocessing / passes / ackermann.h

diff --git a/src/preprocessing/passes/ackermann.h b/src/preprocessing/passes/ackermann.h
index 8f27cab251edb39f1903007c023a64ec1c273477..410dde8b965f6eaaf69d96450836ed5ff6ceb10a 100644 (file)
--- a/src/preprocessing/passes/ackermann.h
+++ b/src/preprocessing/passes/ackermann.h
@@ -55,8 +55,8 @@ class Ackermann : public PreprocessingPass
    *   occurring in the input formula, add the following lemma:
    *     (x_1 = y_1 /\ ... /\ x_n = y_n) => f_X = f_Y
    */
-   PreprocessingPassResult applyInternal(
-       AssertionPipeline* assertionsToPreprocess) override;
+  PreprocessingPassResult applyInternal(
+      AssertionPipeline* assertionsToPreprocess) override;
 
  private:
   /* Map each function to a set of terms associated with it */