Skip to content

Commit

Permalink
Minor fix.
Browse files Browse the repository at this point in the history
git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@619 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
  • Loading branch information
levsa committed Nov 22, 2001
1 parent 92c4012 commit 3435fc5
Show file tree
Hide file tree
Showing 6 changed files with 2 additions and 8 deletions.
2 changes: 1 addition & 1 deletion modeq/Makefile
Expand Up @@ -17,7 +17,7 @@ RMLINC = -I$(RMLHOME)/include/plain
#RML = rmlc -g
PROG = modeq
AST = ast/libast.a
RTOBJ = runtime/rtopts.o mystuff/myprint.o
RTOBJ = runtime/rtopts.o

SRCRML= debug.rml \
types.rml \
Expand Down
1 change: 0 additions & 1 deletion modeq/ast/attrib.c
Expand Up @@ -76,7 +76,6 @@ void print_attr(Attrib *attr, FILE *f)

tokprinter(IMPORT); /* 3 */
tokprinter(CLASS_); /* 4 */
tokprinter(BOUNDARY); /* 5 */
tokprinter(MODEL); /* 6 */
tokprinter(FUNCTION); /* 7 */
tokprinter(PACKAGE); /* 8 */
Expand Down
1 change: 0 additions & 1 deletion modeq/debug.rml
Expand Up @@ -20,7 +20,6 @@ module Debug:
end

with "rtopts.rml"
with "myprint.rml"
with "dump.rml"


Expand Down
2 changes: 0 additions & 2 deletions modeq/dump.rml
Expand Up @@ -18,7 +18,6 @@ module Dump:

with "absyn.rml"
with "debug.rml"
with "myprint.rml"

type Ident = string

Expand Down Expand Up @@ -235,7 +234,6 @@ relation variability_symbol: Absyn.Variability => string =
axiom variability_symbol(Absyn.DISCRETE) => "DISCRETE"
axiom variability_symbol(Absyn.PARAM) => "PARAM"
axiom variability_symbol(Absyn.CONST) => "CONST"
axiom variability_symbol(Absyn.SPACE) => "SPACE"

end

Expand Down
3 changes: 1 addition & 2 deletions modeq/inst.rml
Expand Up @@ -54,7 +54,6 @@ with "builtin.rml"
with "dump.rml"
with "staticexp.rml"
with "rtopts.rml"
with "myprint.rml"
with "codegen.rml"

(**
Expand Down Expand Up @@ -996,7 +995,7 @@ relation dae_declare4 : (Exp.ComponentRef, Types.Type, DAE.VarKind,
axiom dae_declare4 (vn, Types.T_STRING, kind, dir, e)
=> [DAE.VAR(vn, kind, dir, DAE.STRING, e)]

axiom dae_declare3 (c,ty,_) => []
axiom dae_declare4 (c,ty,_,_,_) => []

end

Expand Down
1 change: 0 additions & 1 deletion modeq/staticexp.rml
Expand Up @@ -978,7 +978,6 @@ relation elab_cref2 : (Env.Env,

axiom elab_cref2 (_,cr, acc, Absyn.VAR, _,_) => (Exp.CREF(cr),false, acc)
axiom elab_cref2 (_,cr, acc, Absyn.DISCRETE, _,_) => (Exp.CREF(cr),false,acc)
axiom elab_cref2 (_,cr, acc, Absyn.SPACE, _,_) => (Exp.CREF(cr),false, acc)

rule value_exp v => e
----------------
Expand Down

0 comments on commit 3435fc5

Please sign in to comment.