diff --git a/Makefile b/Makefile index 406b26d..5be2dc9 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,4 @@ +# Makefile clean: rm -rf rs/__pycache__ smt/rs/__pycache__ logics/__pycache__ __pycache__