sci-mathematics:otter-3.3-r3:20220918-131424.log

sci-mathematics:otter-3.3-r3:20220918-131424.log (text/plain), 103.25 KB, created by Toralf Förster on 2022-09-18 13:23:36 UTC

 * Package:    sci-mathematics/otter-3.3-r3:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking otter-3.3.tar.gz to /var/tmp/portage/sci-mathematics/otter-3.3-r3/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3 ...
 * Applying otter-3.3-build.patch ...
 [ ok ]
 * Applying otter-3.3-gold.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3 ...
make -j4 -C source 
make: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source'
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o main.o main.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o av.o av.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o io.o io.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o share.o share.c
av.c:475:55: warning: cast to smaller integer type 'unsigned int' from
      'struct context *' [-Wpointer-to-int-cast]
  ...context %x, var %d not null.\n", (unsigned) p->contexts[i], i);
                                      ^~~~~~~~~~~~~~~~~~~~~~~~~
share.c:44:18: warning: cast to smaller integer type 'int' from 'struct term *'
      [-Wpointer-to-int-cast]
      hashval ^= (int) r->argval; /* exclusive or */
                 ^~~~~~~~~~~~~~~
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o fpa.o fpa.c
1 warning generated.
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o clocks.o clocks.c
1 warning generated.
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o unify.o unify.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o demod.o demod.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o weight.o weight.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o imd.o imd.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o is.o is.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o clause.o clause.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o options.o options.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o resolve.o resolve.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o index.o index.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o paramod.o paramod.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o formula.o formula.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o process.o process.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o misc.o misc.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o lrpo.o lrpo.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o linkur.o linkur.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o linkhyp.o linkhyp.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o foreign.o foreign.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o geometry.o geometry.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o hot.o hot.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o nonport.o nonport.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o check.o check.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o hints.o hints.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o hints2.o hints2.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o attrib.o attrib.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o case.o case.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o lisp.o lisp.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o ivy.o ivy.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o pickdiff.o pickdiff.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o overbeek.o overbeek.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o multijust.o multijust.c
overbeek.c:116:19: warning: taking the absolute value of unsigned type
      'unsigned int' has no effect [-Wabsolute-value]
    int hashval = abs(hash_term2(t->farg->narg->argval) % OVERBEEK_WORLD_SIZE);
                  ^
overbeek.c:116:19: note: remove the call to 'abs' since unsigned values cannot
      be negative
    int hashval = abs(hash_term2(t->farg->narg->argval) % OVERBEEK_WORLD_SIZE);
                  ^~~
overbeek.c:141:15: warning: taking the absolute value of unsigned type
      'unsigned int' has no effect [-Wabsolute-value]
    hashval = abs(hash_term2(copy) % OVERBEEK_WORLD_SIZE);
              ^
overbeek.c:141:15: note: remove the call to 'abs' since unsigned values cannot
      be negative
    hashval = abs(hash_term2(copy) % OVERBEEK_WORLD_SIZE);
              ^~~
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o lists.o lists.c
2 warnings generated.
ar rs libotter.a av.o io.o share.o fpa.o clocks.o unify.o demod.o weight.o imd.o is.o clause.o options.o resolve.o index.o paramod.o formula.o process.o misc.o lrpo.o linkur.o linkhyp.o foreign.o geometry.o hot.o nonport.o check.o hints.o hints2.o attrib.o case.o lisp.o ivy.o pickdiff.o overbeek.o multijust.o lists.o
ar: creating libotter.a
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 main.o libotter.a -o ../bin/otter
make -C formed clean
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
/bin/rm -f *.o formed
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
make -C formed
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o formed.o formed.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o display.o display.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o callback.o callback.c
formed.c:16:1: error: type specifier missing, defaults to 'int'; ISO C99 and
      later do not support implicit int [-Werror,-Wimplicit-int]
main(argc, argv)
^
int
formed.c:32:22: warning: passing arguments to 'proc_command_line' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    proc_command_line(argc, argv);
                     ^
formed.c:35:19: warning: passing arguments to 'load_formula_list' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        load_formula_list(Crnt_file);  /* note - errors caught inside routine */
                         ^
formed.c:40:18: warning: passing arguments to 'setup_display' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    setup_display(argc, argv);
                 ^
formed.c:50:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
formed.c:16:1: warning: a function definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
main(argc, argv)
^
formed.c:64:6: warning: a function definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void proc_command_line(argc, argv)
     ^
In file included from formed.c:7:
./formed.h:268:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void proc_command_line();
     ^
formed.c:121:13: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static void str_print_variable(str, ip, t)
            ^
formed.c:166:13: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static void str_print_term(str, ip, t)
            ^
formed.c:249:12: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static int sprint_term(s, t)
           ^
formed.c:270:13: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static void str_print_formula(str, ip, f)
            ^
formed.c:350:5: warning: a function definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
int sprint_formula(s, f)
    ^
In file included from formed.c:7:
./formed.h:269:5: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
int sprint_formula();
    ^
formed.c:386:23: warning: passing arguments to 'find_point' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        Sel_area = find_point(B, button_prssd->x, button_prssd->y,
                             ^
formed.c:397:22: warning: passing arguments to 'draw_formula_box' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      callback.c[-Wdeprecated-non-prototype]
:40:            draw_formula_box(prev_area, prev_area->abs_x_loc, prev_area-...
                            ^12
: warning: passing arguments to 'user_error' without a prototype
      is deprecated in all versions formed.cof:407:31: warning: passing arguments to 'draw_formula_box_inverted'
      without a prototype is deprecated in all C versions of C and is not
      supported in C2x [-Wdeprecated-non-prototype] 
and is not             draw_formula_box_inverted(Sel_area, Sel_area->abs_x_loc, Sel...
                                     ^
supported in C2x
      [-Wdeprecated-non-prototype]
formed.c:367:6: warning: a function         user_error("Edit panel already displayed.\n");definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]

                  ^
void select_area(w, client_data, event)
     ^
In file included from formed.c:7:
./formed.h:270:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void select_area();
     ^
callback.c:24formed.c:435:21: warning: passing arguments to 'draw_formula_box' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
:    draw_formula_box(b, x, y);
                    ^
6: warning: a function definition without a formed.c:440prototype:28: warning: passing arguments to 'draw_inverted_operators' without
      a prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
 is
    draw_inverted_operators(b, x, y);
                           ^
      deprecated in formed.c:420all:6: warning: a function  definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
versions void draw_formula_box_inverted(b, x, y)
     ^
ofIn file included from formed.c: 7:
./formed.h:271:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
Cvoid draw_formula_box_inverted();
     ^
 and is not supported in C2x
      [-Wdeprecated-non-prototype]
formed.c:void edit_menu_callback(w, client_data, call_data)
     ^
463:23:In file included from callback.c:7:
./formed.h:295:6: warning: passing arguments warning: a function declaration  towithout a prototype is
 'free_formula_box_tree'      deprecated  in allwithout a
       versionsprototype of is deprecated in all versions  Cof C  and is treated and asis not  a zero-parametersupported in
 C2x      prototype in
 C2x, conflicting       [-Wdeprecated-non-prototype]with
         free_formula_box_tree(B);
                             ^
a subsequent definition
      formed.c:465:20: warning: passing[-Wdeprecated-non-prototype] arguments 
to 'arrange_box'void edit_menu_callback();
     ^ 
without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    B = arrange_box(p1->f);
                   ^
formed.c:471:21: warning: passing arguments to 'draw_formula_box' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    draw_formula_box(B,5,5);
                    ^
formed.c:454:6: warning: a function definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void display_formula(p1)
     ^
In file included from formed.c:7:
./formed.h:272:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void display_formula();
     ^
callback.c:77:12: warning: passing arguments to 'user_error' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("Logic panel already displayed.\n");
                  ^
callback.c:62:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void logic_menu_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:296:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and formed.c:485:21is treated as a zero-parameter
      : prototypewarning: a  in function definition C2x, conflicting without a with aprototype is
 subsequent       deprecated definition
      [-Wdeprecated-non-prototype]
in void logic_menu_callback();
     ^
all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
struct formula_box *do_box_geometry(b, op)
                    ^
In file included from formed.c:7:
./formed.h:273:21: warning: a function declaration without a prototype is
      deprecated in all versions of C and is callback.ctreated as a zero-parameter:
      prototype in C2x, conflicting 106:with16:  a warning: subsequent definition
      [-Wdeprecated-non-prototype]
passing argumentsstruct formula_box *do_box_geometry();
 to 'user_error'                     ^
without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Nothing exists to be redone.\n");
                      ^
callback.c:108:31: warning: passing arguments to 'find_end' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            Crnt_transform = find_end(Crnt_formula);
                                     ^
formed.c:583:28: warning: a function definition without a prototype is
callback.c:109:21:       deprecated warning: in allpassing arguments  versionsto of  'display_formula' without a
      prototypeC and is  is deprecatednot supported in in  C2x
all versions      [-Wdeprecated-non-prototype]
 of static struct formula_box *arrange_box_term(t)
                           ^C
 and is not supported in C2x
      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
                           ^
callback.c:113:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and formed.c:658is:19: warning:  passing arguments to 'user_error'not supported  without a prototype
      is deprecated in all versionsin C2x
 of       C and[-Wdeprecated-non-prototype] is not supported
 in C2x
        user_error("No formulas are currently loaded.\n");
                  ^
      [-Wdeprecated-non-prototype]
callback.c:98:        user_error(Error_string);
                  ^
6: warning: a functionformed.c:618:28: warning: a  definition function definition withoutwithout a prototype is a prototype is
      deprecated in all
       versions of C anddeprecated  is not supported in C2x
in      [-Wdeprecated-non-prototype]
 all versionsvoid comp_redo_callback(w,client_data, call_data)
     ^
 In file included from callback.cof:7:
./formed.h:297 C and is not :6supported in C2x
      [-Wdeprecated-non-prototype]
: warning: astatic struct formula_box *arrange_box_symbol(op)
                           ^
 function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void comp_redo_callback();
     ^
formed.c:671:28: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static struct formula_box *arrange_box_atom(f)
                           ^
callback.c:131:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
callback.c:134:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and formed.cis: 726not: 27supported:  inwarning:  passingC2x 
arguments       [-Wdeprecated-non-prototype]to
 'arrange_box' without a prototype
              user_error("No formulas are currently loaded.\n");is
                   ^deprecated
 in all versions of C and is callback.cnot: 123supported: 6in:  C2xwarning: 
a       [-Wdeprecated-non-prototype]function
 definition without a prototype             sub_box = arrange_box(f1);is

                                 ^      
deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void comp_undo_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:298:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and formed.cis: 706treated: 28as:  awarning:  azero-parameter 
function       prototypedefinition  inwithout  C2x,a  conflictingprototype  withis 
a       deprecatedsubsequent  indefinition 
all       [-Wdeprecated-non-prototype]versions
 of C and isvoid comp_undo_callback(); 
not     ^ 
supported in C2x
      [-Wdeprecated-non-prototype]
static struct formula_box *arrange_box_or(f)
                           ^
callback.c:156:31: warning: passing arguments to 'find_end' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            Crnt_transform = find_end(Crnt_formula);
                                     ^
callback.c:157formed.c::21772:: 27warning: :passing  warning: argumentspassing  toarguments  'display_formula'to  without'arrange_box'  awithout
       aprototype  prototypeis
       deprecatedis  indeprecated  allin  versionsall  ofversions  Cof  andC  isand  notis  supportednot  insupported  C2xin
       C2x[-Wdeprecated-non-prototype]

      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
            sub_box = arrange_box(f1);                           ^

                                 ^
callback.c:160:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("End of formula list.\n");
                      ^
formed.ccallback.c::752163::2812::  warning: warning: apassing  functionarguments  definitionto  without'user_error'  awithout  prototypea 
is      
prototype       deprecatedis  indeprecated  allin  versionsall  ofversions  Cof  andC  isand  notis  supportednot  insupported  C2xin
       C2x[-Wdeprecated-non-prototype]

      [-Wdeprecated-non-prototype]
static struct formula_box *arrange_box_and(f)
                           ^
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:144:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void next_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:299:6: warning: a function declaration without a prototype is
      deprecated in all versions offormed.c :C810 :and26 :is  warning: treatedpassing  asarguments  ato  zero-parameter'arrange_box'
       withoutprototype  ain  prototypeC2x,
       conflictingis  withdeprecated  ain  subsequentall  definitionversions
       of[-Wdeprecated-non-prototype] 
C and void next_callback();is
      ^not
 supported in C2x
      [-Wdeprecated-non-prototype]
    sub_box = arrange_box(f->first_child);
                         ^
formed.c:799:28: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static struct formula_box *arrange_box_not(f)
                           ^
callback.c:186:31: warning: passing arguments to 'find_end' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            Crnt_transform = find_end(Crnt_formula);
                                     ^
formed.c:840:23: warning: passing arguments to 'arrange_box' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        sub_box = arrange_box(f1);
                             ^
formed.c:828:28:callback.c :warning: 187a: 21function:  definitionwarning:  passingwithout  argumentsa  toprototype  'display_formula'is 
without       deprecateda 
in       prototypeall  isversions  deprecatedof  inC  alland  versionsis  ofnot  Csupported  andin  isC2x 
not       [-Wdeprecated-non-prototype]supported
 in C2x
      [-Wdeprecated-non-prototype]
static struct formula_box *arrange_box_imp(f)
                           ^
            display_formula(Crnt_transform);
                           ^
callback.c:190:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Beginning of formula list.\n");
                      ^
callback.c:193:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and isformed.c :not877 :supported23 :in  warning: C2xpassing
       arguments[-Wdeprecated-non-prototype] 
to 'arrange_box' without a prototype        user_error("No formulas are currently loaded.\n");

                        ^is
 deprecated in all versions of C callback.cand: 173is: 6not:  supportedwarning:  ain  functionC2x 
definition       [-Wdeprecated-non-prototype]without
 a prototype is        sub_box = arrange_box(f1);

                                   ^deprecated
 in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void previous_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:300:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in formed.cC2x,: 865conflicting: 28with:  awarning:  asubsequent  functiondefinition 
definition       [-Wdeprecated-non-prototype]without
 a prototype isvoid previous_callback();

           ^deprecated
 in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
static struct formula_box *arrange_box_iff(f)
                           ^
callback.c:214:15: warning: passing arguments to 'setup_font' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
formed.c:930:26: warning:     setup_font((char *) client_data);passing
               ^arguments
 to 'arrange_box' without a prototype
      iscallback.c :deprecated217 :in17 :all  warning: versionspassing  ofarguments  Cto  and'display_formula'  iswithout  nota 
supported       prototypein  isC2x 
deprecated       [-Wdeprecated-non-prototype]in
 all versions of C and    sub_box = arrange_box(f->first_child); 
is                         ^ 
not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
callback.c:203:6: formed.cwarning: :a903 :28function:  definitionwarning:  awithout  functiona  definitionprototype  withoutis 
a       deprecatedprototype  inis 
all       deprecatedversions  inof  allC  versionsand  ofis  Cnot  andsupported  isin  notC2x 
supported       [-Wdeprecated-non-prototype]in
 C2x
      [-Wdeprecated-non-prototype]
void font_callback(w,client_data, call_data)
     ^
In file included from static struct formula_box *arrange_box_quant(f)callback.c
:                           ^7
:
./formed.h:301:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void font_callback();
     ^
formed.c:977:12: warning: passing arguments to 'user_error' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error(Error_string);
                  ^
callback.c:228:6: warning: a function definition without a prototype is
      deprecated in all versions of formed.cC: 950and: 21is:  notwarning:  asupported  functionin  definitionC2x 
without       [-Wdeprecated-non-prototype]a
 prototype is
      deprecatedvoid quit_callback(w,client_data, call_data) 
in     ^ 
all versions In file included from ofcallback.c :C7 :
and./formed.h :is302 :not6 :supported  warning: ina  C2xfunction
       declaration[-Wdeprecated-non-prototype] 
without a prototype is
      deprecatedstruct formula_box *arrange_box(f) 
in                    ^ 
all versions In file included from offormed.c :C7 :
and./formed.h :is274 :treated21 :as  warning: aa  zero-parameterfunction
       declarationprototype  withoutin  aC2x,  prototypeconflicting  iswith
       adeprecated  subsequentin  definitionall
       versions[-Wdeprecated-non-prototype] 
of C andvoid quit_callback(); 
is     ^ 
treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
struct formula_box *arrange_box();
                    ^
callback.c:254:22: warning: passing arguments to 'create_menu_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    create_menu_popup("Help", w);  /* create the popup shell */
                     ^
formed.c:1034:16: warning: passing arguments to 'user_error' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error(Error_string);
                      ^
formed.c:990:6: warning: a function definition without a prototype is deprecated
      in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void draw_formula_box(b, x, y)
     ^
In file included from formed.c:7:
./formed.h:275:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void draw_formula_box();
     ^
formed.c:1101:16: warning: passing arguments to 'user_error' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error(Error_string);
                      ^
formed.c:1061:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void draw_inverted_operators(b, x, y)
     ^
In file included from formed.c:7:
./formed.h:276:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void draw_inverted_operators();
     ^
formed.c:1124:21: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
struct formula_box *find_point(b, x, y, xb, yb)
                    ^
In file included from formed.c:7:
./formed.h:277:21: warning: a function declaration without a prototype is
      deprecated in all versions of Ccallback.c :and244 :is6 :treated  warning: asa  afunction  zero-parameterdefinition
       withoutprototype  ain  prototypeC2x,  isconflicting
       withdeprecated  ain  subsequentall  definitionversions
       of[-Wdeprecated-non-prototype] 
C and is struct formula_box *find_point();not
                     ^supported
 in C2x
      [-Wdeprecated-non-prototype]
void help_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:303:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
formed.cvoid help_callback();:
1150     ^:
6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void install_up_pointers(f)
     ^
In file included from formed.c:7:
./formed.h:278:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void install_up_pointers();
     ^
formed.c:1168:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void free_formula_box_tree(b)
     ^
In file included from formed.c:7:
./formed.h:279:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void free_formula_box_tree();
     ^
formed.c:1208:19: warning: passing arguments to a function without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    f = trans_proc(f);
                  ^
formed.c:1225:12: warning: passing arguments to 'user_error' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("That transformation wouldn't do anything.\n");
                  ^
formed.c:1233:19: warning: passing arguments to 'free_formulas' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            free_formulas(Crnt_transform->right);
                         ^
formed.c:1237:19: warning: passing arguments to 'free_formulas' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            free_formulas(Crnt_transform->up);
                         ^
formed.c:1253:24: warning: passing arguments to 'find_sub_box' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        sub_box = find_sub_box(B, f);
                              ^
formed.c:1189:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void transform(f, trans_proc)
     ^
In file included from formed.c:7:
./formed.h:280:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void transform();
     ^
formed.c:1269:21: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
struct formula_box *find_sub_box(b, f)
                    ^
In file included from formed.c:7:
./formed.h:281:21: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
struct formula_box *find_sub_box();
                    ^
formed.c:1290:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void free_formulas(p)
     ^
In file included from formed.c:7:
./formed.h:282:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void free_formulas();
     ^
71 warnings and 1 error generated.
callback.c:332:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void help_info_callback(entry,client_data, call_data)
     ^
In file included from display.ccallback.c::772:
:./formed.h33::304 :warning: 6passing:  argumentswarning:  ato  function'convert_color'  declarationwithout  withouta 
a       prototypeprototype  isis 
deprecated       deprecatedin  inall  allversions  versionsof  ofC  Cand  andis  isnot  treatedsupported  asin  aC2x 
zero-parameter      
[-Wdeprecated-non-prototype]      
prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void help_info_callback();
     ^
      Foreground = convert_color(User_fore);  /* note: convert_color uses */
                                ^
display.c:74:33: warning: passing arguments to 'convert_color' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
      Foreground = convert_color("black");
                                ^
display.c:76:33: warning: passing arguments to 'convert_color' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
      Background = convert_color(User_back);
                                ^
display.c:78:33: warning: passing arguments to 'convert_color' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
      Background = convert_color("white");
                                ^
display.c:81:31: warning: passing arguments to 'convert_color' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    Foreground = convert_color("black");
                              ^
display.c:82:31: warning: passing arguments to 'convert_color' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    Background = convert_color("white");
                              ^
callback.c:496:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
callback.c:464:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void return_help_menu(entry,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:305:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void return_help_menu();
     ^
callback.c:507:6: warning: a function definitiondisplay.c without: 134a: 13prototype:  iswarning: 
passing       deprecatedarguments  into  all'accum_size'  versionswithout  ofa  Cprototype 
and       isis  deprecatednot  insupported  allin  versionsC2x 
of       [-Wdeprecated-non-prototype]C
 and is not supported in C2x
      [-Wdeprecated-non-prototype]void set_help_string(entry,client_data, call_data)

     ^
In file included from callback.c:7:
./formed.h:  accum_size(Logic_buttons[i], ADD, ADD, LOGIC_MENU);306
:            ^6
: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void set_help_string();
     ^
callback.c:551:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
display.c        display_formula(Crnt_transform);:
146                       ^:
13: warning: passing arguments to 'accum_size' withoutcallback.c :a541 :prototype6
:       iswarning:  adeprecated  functionin  definitionall  withoutversions  aof  prototypeC  is
      deprecated in all versions andof  isC  notand  supportedis  innot  C2xsupported
       in[-Wdeprecated-non-prototype] 
C2x
      [-Wdeprecated-non-prototype]
  accum_size(Logic_buttons[i], IGNORE, ADD, LOGIC_MENU);
            ^
void destroy_popup(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:307:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void destroy_popup();
     ^
callback.c:571:22: warning: passing arguments to 'create_menu_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    create_menu_popup("Load", entry);  /* create the popup shell */
                     ^
display.c:158:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Logic_buttons[i], ADD, IGNORE, LOGIC_MENU);
            ^
display.c:182:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Logic_buttons[i], ADD, IGNORE, LOGIC_MENU);
            ^
callback.c:562:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void load_callback(entry,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:308:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void load_callback();
     ^
make[1]: *** [<builtin>: formed.o] Error 1
make[1]: *** Waiting for unfinished jobs....
display.c:206:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Logic_buttons[i], ADD, IGNORE, LOGIC_MENU);
            ^
callback.c:642:26: warning: passing arguments to 'load_formula_list' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    c = load_formula_list(Crnt_file);
                         ^
callback.c:649:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
callback.c:651:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("File loaded.\n");
                      ^
callback.c:625:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void set_load_file(button, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:309:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void set_load_file();
     ^
display.c:230:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Logic_buttons[i], ADD, IGNORE, LOGIC_MENU);
            ^
callback.c:677:18: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error(Error_string);
                  ^
callback.c:690:25: warning: passing arguments to 'install_up_pointers' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            install_up_pointers(q1->f);
                               ^
callback.c:663:5: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
int load_formula_list(filename)
    ^
In file included from callback.c:7:
./formed.h:310:5: warning: a function declaration without a prototype is
display.c      :deprecated260 :in13 :all  warning: versionspassing  ofarguments  Cto  and'accum_size'  iswithout  treateda  asprototype 
a       iszero-parameter 
deprecated       prototypein  inall  C2x,versions  conflictingof  withC  aand  subsequentis  definitionnot
       supported[-Wdeprecated-non-prototype] 
in C2x
      [-Wdeprecated-non-prototype]
int load_formula_list();
    ^
  accum_size(Edit_buttons[i], ADD, ADD, EDIT_MENU);
            ^
display.c:272:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Edit_buttons[i], IGNORE, ADD, EDIT_MENU);
            ^
callback.c:739:19: warning: passing arguments to 'create_menu_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        create_menu_popup("Save", entry);   /* create the popup shell */
                         ^
display.c:285:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Edit_buttons[i], ADD, IGNORE, EDIT_MENU);
            ^
display.c:309:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Edit_buttons[i], ADD, IGNORE, EDIT_MENU);
            ^
callback.c:785:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:726:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void save_callback(entry,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:311:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void save_callback();
     ^
display.c:333:13: warning: passing arguments to 'accum_size' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
  accum_size(Edit_buttons[i], ADD, IGNORE, EDIT_MENU);
            ^
callback.c:812:26: warning: passing arguments to 'save_formula_list' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    c = save_formula_list(Crnt_file);
                         ^
callback.c:820:21: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
                           ^
callback.c:823:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("File saved.\n");
                      ^
callback.c:795:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void set_save_file(button, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:312:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void set_save_file();
     ^
callback.cdisplay.c::845357::1213::  warning: warning: passingpassing  argumentsarguments  toto  'user_error''accum_size'  withoutwithout  aa
       prototypeprototype
       isis  deprecateddeprecated  inin  allall  versionsversions  ofof  CC  andand  isis  notnot  supportedsupported  inin  C2xC2x

            [-Wdeprecated-non-prototype][-Wdeprecated-non-prototype]

        user_error(Error_string);
                  ^
  accum_size(Edit_buttons[i], ADD, IGNORE, EDIT_MENU);
            ^
callback.c:854:18: warning: passing arguments to 'find_end' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            q = find_end(p);   /* find end of current transformation list */
                        ^
callback.c:835:5: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
int save_formula_list(filename)
    ^
In file included from callback.c:7:
./formed.h:313:5: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
int save_formula_list();
    ^
callback.c:888:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Clausify is done on the entire formula,\nno sele...
                      ^
callback.c:891:15: warning: passing arguments to 'transform' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, clausify_formed);
                     ^
callback.c:892:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("WARNING: further logic transformations may be un...
                      ^
callback.c:896:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:878:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void clausify_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:314:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void clausify_callback();
     ^
callback.c:921:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Operate requires selection of\nan operator (not...
                      ^
callback.c:927:12: warning: passing arguments to 'transform' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                transform(f, negation_inward);
                         ^
callback.c:932:12: warning: passing arguments to 'transform' without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                transform(f, expand_imp);
                         ^
callback.c:938:20: warning: passing arguments to 'create_menu_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                create_menu_popup("Iff_op", w);
                                 ^
callback.c:974:13: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                user_error("Operate requires selection of not, imp, or i...
                          ^
callback.c:980:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:907:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void operate_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:315:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void operate_callback();
     ^
callback.c:1001:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("NNF requires a formula (or subformula) as a sele...
                      ^
callback.c:1004:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, nnf);
                     ^
callback.c:1008:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:990:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void nnf_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:316:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void nnf_callback();
     ^
callback.c:1029:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Skolemize is done on the entire formula,\nno sel...
                      ^
callback.c:1032:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, nnf_skolemize);
                     ^
callback.c:1036:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1018:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void skolemize_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:317:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void skolemize_callback();
     ^
callback.c:1057:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("CNF requires a formula (or subformula) as a sele...
                      ^
callback.c:1060:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, nnf_cnf);
                     ^
callback.c:1064:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1046:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void cnf_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:318:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void cnf_callback();
     ^
callback.c:1085:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("CNF requires a formula (or subformula) as a sele...
                      ^
display.c:560:13: warning: passing arguments to 'setup_font' without a prototype
      is deprecated in all versions of C callback.cand: 1089is: 15not:  supportedwarning:  passingin  argumentsC2x 
to       [-Wdeprecated-non-prototype]'transform'
 without a
        setup_font(MEDFONT);prototype
             ^is
 deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, rms_cnf);       /* nnf_cnf, or rms_cnf for quants */
                     ^
callback.c:1094:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1074:6: warning: a function display.cdefinition: 43without: 6a:  prototype is
      deprecated in all versions of C and is warning: nota  supportedfunction  indefinition  C2xwithout
       a[-Wdeprecated-non-prototype] 
prototype is deprecated
      invoid cnf_simp_callback(w,client_data, call_data) 
all     ^ 
versions of CIn file included from  callback.cand: 7is:
 ./formed.hnot: 319supported: 6in:  C2xwarning: a function
       declaration[-Wdeprecated-non-prototype] 
without a prototype is
      void setup_display(argc, argv)deprecated
      ^in
 all versions of C and is treated asIn file included from  display.ca: 7zero-parameter:

./formed.h      :prototype in 286C2x,: 6conflicting:  withwarning:  aa  functionsubsequent  declarationdefinition 
without       [-Wdeprecated-non-prototype]a
 prototype is
      void cnf_simp_callback();deprecated
      ^in
 all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void setup_display();
     ^
callback.c:1115:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("RMS CNF requires a formula (or subformula) as a ...
                      ^
callback.c:1118:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, rms_cnf);
                     ^
callback.c:1122:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1104:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void rms_cnf_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:320:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void rms_cnf_callback();
     ^
callback.c:1143:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("RMS DNF requires a formula (or subformula) as a ...
                      ^
callback.c:1146:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, rms_dnf);
                     ^
callback.c:1150:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1132:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void rms_dnf_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:321:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void rms_dnf_callback();
     ^
callback.c:1171:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("DNF requires a formula (or subformula) as a sele...
                      ^
callback.c:1174:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, nnf_dnf);
                     ^
callback.c:1178:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1160:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void dnf_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:322:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void dnf_callback();
     ^
callback.c:1199:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("DNF requires a formula (or subformula) as a sele...
                      ^
callback.c:1203:15: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            transform(f, rms_dnf);       /* nnf_dnf, or rms_dnf for quants */
                     ^
callback.c:1208:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1188:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void dnf_simp_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:323:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void dnf_simp_callback();
     ^
callback.c:1225:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Nothing more to be redone.\n");
                      ^
callback.c:1228:21: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
                           ^
callback.c:1232:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1217:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void redo_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:324:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void redo_callback();
     ^
callback.c:1251:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Nothing more to be undone.\n");
                      ^
callback.c:1254:21: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
                           ^
callback.c:1258:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1242:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void undo_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:325:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void undo_callback();
     ^
callback.c:1278:14: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    transform(f, iff_to_conj);
             ^
callback.c:1268:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void expandConj_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:326:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void expandConj_callback();
     ^
callback.c:1298:14: warning: passing arguments to 'transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    transform(f, iff_to_disj);
             ^
callback.c:1288:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void expandDisj_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:327:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void expandDisj_callback();
     ^
callback.c:1324:20: warning: passing arguments to 'sprint_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            sprint_formula(Edit_str, f);
                          ^
callback.c:1327:23: warning: passing arguments to 'create_edit_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            create_edit_popup(replace_button);
                             ^
callback.c:1330:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Edit requires a formula (or subformula) as a sel...
                      ^
callback.c:1333:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1308:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void edit_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:328:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void edit_callback();
     ^
callback.c:1343:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void abbreviate_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:329:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void abbreviate_callback();
     ^
callback.c:1373:19: warning: passing arguments to 'edit_transform' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    edit_transform(f1, replace_text);
                  ^
callback.c:1360:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void replace_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:330:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void replace_callback();
     ^
callback.c:1403:24: warning: passing arguments to 'install_up_pointers' without
      a prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    install_up_pointers(copy);
                       ^
callback.c:1406:19: warning: passing arguments to a function without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    f = trans_proc(f, flag);
                  ^
callback.c:1412:21: warning: passing arguments to 'install_up_pointers' without
      a prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        install_up_pointers(f);
                           ^
callback.c:1428:19: warning: passing arguments to 'free_formulas' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            free_formulas(Crnt_transform->right);
                         ^
callback.c:1432:19: warning: passing arguments to 'free_formulas' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            free_formulas(Crnt_transform->up);
                         ^
callback.c:1444:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
callback.c:1448:24: warning: passing arguments to 'find_sub_box' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        sub_box = find_sub_box(B, f);
                              ^
callback.c:1452:31: warning: passing arguments to 'draw_formula_box_inverted'
      without a prototype is deprecated in all versions of C and is not
      supported in C2x [-Wdeprecated-non-prototype]
            draw_formula_box_inverted(Sel_area, Sel_area->abs_x_loc, Sel...
                                     ^
callback.c:1386:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void edit_transform(f, trans_proc, flag)
     ^
In file included from callback.c:7:
./formed.h:331:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void edit_transform();
     ^
display.c:589:1: error: type specifier missing, defaults to 'int'; ISO C99 and
      later do not support implicit int [-Werror,-Wimplicit-int]
setup_operator_pixmaps(font_string)
^
int
callback.c:1464:17: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
struct formula *str_2_formula(buf)
                ^
callback.c:1503:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("Error in converting string to formula.\nSee standar...
                  ^
callback.c:1497:17: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
display.c:589struct formula *replace_text(f, flag):
1                ^:
 warning: a functionIn file included from  callback.cdefinition: 7without:
 ./formed.ha: 333prototype: 17is:
       warning: deprecateda  infunction  alldeclaration  versionswithout a prototype is
       ofdeprecated  Cin  andall  isversions  notof  supportedC  inand  C2xis
       treated[-Wdeprecated-non-prototype] 
as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
struct formula *replace_text();
                ^
display.c:688:1: warning: non-void function does not return a value
      [-Wreturn-type]
}  /* setup_operator_pixmaps */
^
display.c:697:5: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
int convert_color(colorname)
    ^
callback.c:1514:17In file included from :display.c :warning: 7a:
 ./formed.hfunction: 287definition: 5without:  awarning:  aprototype  functionis 
declaration       deprecatedwithout  ina  allprototype  versionsis 
of       deprecatedC  inand  allis  versionsnot  ofsupported  Cin  andC2x 
is       [-Wdeprecated-non-prototype]treated
 as a zero-parameter
      prototype in C2x, conflicting with astruct formula *make_deleted(f, flag) 
subsequent                ^ 
definition
      [-Wdeprecated-non-prototype]
In file included from callback.c:7:
./formed.hint convert_color();:
334    ^:
17: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
struct formula *make_deleted();
                ^
callback.c:1561:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("Error in converting string to formula.\nSee standar...
                  ^
callback.c:1554:17: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
struct formula *join_formulas(f, flag)
                ^
In file included from callback.c:7:
./formed.h:335:17: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
struct formula *join_formulas();
                ^
callback.c:1572:23: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
struct formula_ptr_2 *find_end(q)
                      ^
In file included from callback.c:7:
./formed.h:336:23: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
struct formula_ptr_2 *find_end();
                      ^
display.c:718:6: warning: a function definition without a prototype is
      deprecated in allcallback.c versions: 1591of: 6C:  andwarning:  ais  functionnot  definitionsupported  withoutin  aC2x 
prototype       [-Wdeprecated-non-prototype]is

      deprecated in all versions void user_error(message_string)of
      ^C
 and isIn file included from  display.cnot: 7supported :
in./formed.h :C2x288
:      6[-Wdeprecated-non-prototype]:
 warning: a function declaration without a prototype void clear_text_callback(w,client_data, call_data)is

     ^      
deprecated in allIn file included from  callback.cversions:7:
./formed.h:337:6: warning: a  functionof  declarationC  withoutand  ais  prototypetreated  isas
       adeprecated  zero-parameterin
       allprototype  versionsin  ofC2x,  Cconflicting  andwith  isa  treatedsubsequent  asdefinition a zero-parameter
      prototype in C2x, conflicting with
       a[-Wdeprecated-non-prototype] 
subsequent definition
      void user_error();[-Wdeprecated-non-prototype]

     ^
void clear_text_callback();
     ^
display.c:786:6: warning: a function definition without a prototype is
      deprecated in all versions callback.cof: 1626C: 23and:  iswarning:  passingnot  argumentssupported to 'create_edit_popup' without a
      prototype is deprecated in  allin  versionsC2x 
of       [-Wdeprecated-non-prototype]C
 and is not supported void setup_font(font_string)in
      ^C2x

      [-Wdeprecated-non-prototype]
In file included from display.c:7:
./formed.h:289:6:             create_edit_popup(conjoin_button);warning: 
a                             ^ 
function declaration without a prototype is
      deprecated incallback.c :all1630 :versions16 :of  warning: Cpassing  andarguments  isto  treated'user_error'  aswithout  aa 
zero-parameter      
prototype       prototypeis  indeprecated  C2x,in  conflictingall  withversions  aof  subsequentC  definitionand
       is[-Wdeprecated-non-prototype] 
not supported invoid setup_font(); 
C2x     ^

      [-Wdeprecated-non-prototype]
            user_error("Conjoin requires a formula (or subformula)\nas ...
                      ^
callback.c:1634:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1613:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void conjoin_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:338:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void conjoin_callback();
     ^
display.c:830:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void accum_size(w, add_width, add_height, flag)
     ^
In file included from display.c:7:
./formed.h:291:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated callback.cas: 1658a: 23zero-parameter:
       warning: prototypepassing  inarguments  C2x,to  conflicting'sprint_formula'  withwithout  aa 
subsequent       prototypedefinition 
is       [-Wdeprecated-non-prototype]deprecated
 in allvoid accum_size(); 
versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
     ^
    i = sprint_formula(temp_str, Sel_area->f);
                      ^
callback.c:1645:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void conjoin_with_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:339:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void conjoin_with_callback();
     ^
callback.c:1697:23: warning: passing arguments to 'create_edit_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            create_edit_popup(disjoin_button);
                             ^
callback.c:1701:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Disjoin requires a formula (or subformula)\nas ...
                      ^
31callback.c warning:s1705 and :112 error: generated .
warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1684:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void disjoin_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:340:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void disjoin_callback();
     ^
callback.c:1728:23: warning: passing arguments to 'sprint_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    i = sprint_formula(temp_str, Sel_area->f);
                      ^
callback.c:1715:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void disjoin_with_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:341:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void disjoin_with_callback();
     ^
callback.c:1766:23: warning: passing arguments to 'create_edit_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            create_edit_popup(add_quantifiers_button);
                             ^
callback.c:1770:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Quantify requires a formula (or subformula)\nas ...
                      ^
callback.c:1774:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1753:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void quantify_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:342:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void quantify_callback();
     ^
callback.c:1803:23: warning: passing arguments to 'sprint_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    i = sprint_formula(temp_str, Sel_area->f);
                      ^
callback.c:1785:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void add_quantify_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:343:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void add_quantify_callback();
     ^
callback.c:1843:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Negate requires a formula (or subformula)\nas a ...
                      ^
callback.c:1847:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:1824:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void negate_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:344:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void negate_callback();
     ^
callback.c:1867:22: warning: passing arguments to 'create_edit_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    create_edit_popup(insert_button);
                     ^
callback.c:1857:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void new_formula_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:345:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void new_formula_callback();
     ^
callback.c:1897:21: warning: passing arguments to 'install_up_pointers' without
      a prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        install_up_pointers(f);
                           ^
callback.c:1919:17: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        display_formula(Crnt_transform);
                       ^
callback.c:1922:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("Error in converting string to formula.\nSee standar...
                  ^
callback.c:1878:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void insert_formula_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:346:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void insert_formula_callback();
     ^
callback.c:1968:17: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                    user_error("Empty formula list.\n");
                              ^
callback.c:1970:23: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                else display_formula(Crnt_transform);
                                    ^
callback.c:1972:16: warning: passing arguments to 'free_formulas' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                free_formulas(p);   /* kill all the transformations of the */
                             ^
callback.c:1977:13: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
                user_error("Delete formula removes from the original for...
                          ^
callback.c:1980:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Delete formula cannot delete an operator.");
                      ^
callback.c:1983:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Deletion of a subformula must be from a\nconjunc...
                      ^
callback.c:1994:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in allmake[1]: *** [<builtin>: display.o] Error 1
 versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.");
                  ^
callback.c:1932:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void delete_formula_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:347:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void delete_formula_callback();
     ^
callback.c:2013:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Nothing more to be un-edited.\n");
                      ^
callback.c:2016:21: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
                           ^
callback.c:2020:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:2004:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void unedit_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:348:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void unedit_callback();
     ^
callback.c:2039:16: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            user_error("Nothing more to be re-edited.\n");
                      ^
callback.c:2042:21: warning: passing arguments to 'display_formula' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
            display_formula(Crnt_transform);
                           ^
callback.c:2046:12: warning: passing arguments to 'user_error' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
        user_error("No formulas are currently loaded.\n");
                  ^
callback.c:2030:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void reedit_callback(w,client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:349:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void reedit_callback();
     ^
callback.c:2067:22: warning: passing arguments to 'create_menu_popup' without a
      prototype is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    create_menu_popup("fonts", w);    /* create the popup shell */
                     ^
callback.c:2056:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void font_menu_callback(w, client_data, call_data)
     ^
In file included from callback.c:7:
./formed.h:350:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void font_menu_callback();
     ^
callback.c:2122:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void create_menu_popup(name, parent)
     ^
In file included from callback.c:7:
./formed.h:351:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void create_menu_popup();
     ^
callback.c:2187:43: warning: passing arguments to a function without a prototype
      is deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
    text_op_button = create_text_op_button(edit_form);
                                          ^
callback.c:2155:6: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
void create_edit_popup(create_text_op_button)
     ^
In file included from callback.c:7:
./formed.h:352:6: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
void create_edit_popup();
     ^
callback.c:2237:8: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
Widget replace_button(parent)
       ^
callback.c:11:8: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
Widget replace_button();
       ^
callback.c:2265:8: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
Widget conjoin_button(parent)
       ^
callback.c:12:8: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
Widget conjoin_button();
       ^
callback.c:2293:8: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
Widget disjoin_button(parent)
       ^
callback.c:13:8: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
Widget disjoin_button();
       ^
callback.c:2321:8: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
Widget add_quantifiers_button(parent)
       ^
callback.c:14:8: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
Widget add_quantifiers_button();
       ^
callback.c:2349:8: warning: a function definition without a prototype is
      deprecated in all versions of C and is not supported in C2x
      [-Wdeprecated-non-prototype]
Widget insert_button(parent)
       ^
callback.c:15:8: warning: a function declaration without a prototype is
      deprecated in all versions of C and is treated as a zero-parameter
      prototype in C2x, conflicting with a subsequent definition
      [-Wdeprecated-non-prototype]
Widget insert_button();
       ^
249 warnings generated.
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
make: *** [Makefile:115: formed] Error 2
make: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source'
 * ERROR: sci-mathematics/otter-3.3-r3::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/otter-3.3-r3::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/otter-3.3-r3::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:otter-3.3-r3:20220918-131424.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/otter-3.3-r3/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/otter-3.3-r3/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3'
 * S: '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3'