poetry install: remove --no-ansi

runtimeverification · Aug 24, 2023 · b555ccd · b555ccd
1 parent c45f806
commit b555ccd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -267,7 +267,7 @@ POETRY_RUN := $(POETRY) run
 
 .PHONY: poetry-install
 poetry-install:
-	$(POETRY) install --no-ansi
+	$(POETRY) install
 
 TEST_MANDOS := $(POETRY_RUN) mandos --definition-dir $(llvm_dir)/mandos-kompiled