Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
bobzhang committed Dec 25, 2011
1 parent 1d2c158 commit e22381f
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 2 deletions.
1 change: 1 addition & 0 deletions .#commit.sh
3 changes: 2 additions & 1 deletion commit.sh
Expand Up @@ -7,4 +7,5 @@ git commit -m "Things."
git push origin master

# git remote add arthuraa https://github.com/arthuraa/cis670-project.git
# git pull arthuraa master
# git pull arthuraa master
# git rm syntax.ml
2 changes: 1 addition & 1 deletion fc_parser.ml
Expand Up @@ -32,7 +32,7 @@ let _ =
kind_and_role_entry :
[ [
x = "*/"; r = role_entry -> KR(Star,r);
| x = TRY kind_entry; "/"; c = role_entry -> KR(x,c)
| x = SELF ; "->" kind_entry; "/"; c = role_entry -> KR(x,c)
| "("; x = SELF ;")" -> x
] ] ;
END
Expand Down

0 comments on commit e22381f

Please sign in to comment.