Skip to content
Browse files

Use the right slash for included books in Windows

The BookViewer was giving paths with backslashes, which ACL2 does not
accept.
  • Loading branch information...
1 parent e3d75f0 commit 605747b2a232f66eee3bd1c0de425ed03df5cf02 @PeterReid committed Apr 29, 2012
Showing with 3 additions and 0 deletions.
  1. +3 −0 src/org/proofpad/BookViewer.java
View
3 src/org/proofpad/BookViewer.java
@@ -45,6 +45,9 @@ public String getPath() {
} else {
pathLen = 0;
}
+ if (IdeWindow.WIN) {
+ path = path.replace("\\", "/");
+ }
return path.substring(pathLen, path.length() - 5);
}
public boolean isBook() {

0 comments on commit 605747b

Please sign in to comment.
Something went wrong with that request. Please try again.