diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
| commit | ab29ac3337d2be88ae3288652e999873be1dcf14 (patch) | |
| tree | d3816565ec3c8518bb73979bd5957e8d324375f9 /tests/pquery.urs | |
| parent | 5885d66bebeece6ba2f7b6a1b11f719086423114 (diff) | |
Compiling a parametrized query the inefficient way
Diffstat (limited to 'tests/pquery.urs')
| -rw-r--r-- | tests/pquery.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/pquery.urs b/tests/pquery.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/pquery.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |