summaryrefslogtreecommitdiffstats
path: root/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/expected/c/00143-t3.in.c
diff options
context:
space:
mode:
Diffstat (limited to 'debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/expected/c/00143-t3.in.c')
-rw-r--r--debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/expected/c/00143-t3.in.c10
1 files changed, 0 insertions, 10 deletions
diff --git a/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/expected/c/00143-t3.in.c b/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/expected/c/00143-t3.in.c
deleted file mode 100644
index b40fbd17..00000000
--- a/debian/uncrustify-trinity/uncrustify-trinity-0.73.0/tests/expected/c/00143-t3.in.c
+++ /dev/null
@@ -1,10 +0,0 @@
-extern /*@observer@*/ /*@null@*/ const dcroid_t *dcrp_oidget
-(
- /*@in@*/ const char *h,
- /*@in@*/ const char *t
-) /*@ensures maxRead(result) >= 0@*/;
-
-extern /*@observer@*/ const char *dcrp_oidlabel
-(
- /*@in@*/ const dcroid_t *oid
-);