[PPL-devel] [GIT] ppl/ppl(master): Added a few more lexical items.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 0a0259c6503a0876e0f519e5c8053ac9012f4889
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a0259c6503a0876e0f519e5c8053ac9012f4889

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Nov  8 12:15:05 2011 +0100

Added a few more lexical items.

---

 devtools/good_items |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/devtools/good_items b/devtools/good_items
index 844a82e..2ad228c 100644
--- a/devtools/good_items
+++ b/devtools/good_items
@@ -155,12 +155,14 @@ fma
 fmaf
 fmal
 fmod
+fmtflags
 forall
 fprintf
 frac
 fread
 fstream
 fwrite
+genfrac
 get_den
 get_num
 getc
@@ -252,6 +254,7 @@ ru_utime'
 rusage
 scriptstyle
 setdiff
+setf
 setfill
 setitimer
 setjmp