chore(dafny): update makefile to only use prettier 3.5.3 (#786)

rishav-karanjit · web-flow · commit d2f9d82630a7 · 2025-06-27T07:05:47.000-07:00
diff --git a/Makefile b/Makefile
@@ -68,4 +68,4 @@ format_java_misc-check: setup_prettier
 	npx prettier --plugin=prettier-plugin-java . --check
 
 setup_prettier:
-	npm i --no-save prettier@3 prettier-plugin-java@2.5
+	npm i --no-save prettier@3.5.3 prettier-plugin-java@2.5

-Original file line number
+Diff line change
 	npx prettier --plugin=prettier-plugin-java . --check
 setup_prettier:
 -	npm i --no-save prettier@3 [email protected]
 +	npm i --no-save prettier@3.5.3 [email protected]