Skip to content

Commit 73da564

Browse files
committed
fix
1 parent 70ffd90 commit 73da564

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

psl_proof/__main__.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
from typing import Dict, Any
88

99
from psl_proof.proof import Proof
10-
INPUT_DIR, OUTPUT_DIR = './input', './output'
10+
INPUT_DIR, OUTPUT_DIR = '/input', '/output'
1111

1212
logging.basicConfig(level=logging.INFO, format='%(message)s')
1313

0 commit comments

Comments
 (0)